2007

• Paper 1, Section I, $1 A$

  Algebra and Geometry

  Part IA, 2007

  (i) The spherical polar unit basis vectors $\mathbf{e}_{r}, \mathbf{e}_{\phi}$ and $\mathbf{e}_{\theta}$ in $\mathbb{R}^{3}$ are given in terms of the Cartesian unit basis vectors $\mathbf{i}, \mathbf{j}$ and $\mathbf{k}$ by

  $$\begin{aligned} &\mathbf{e}_{r}=\mathbf{i} \cos \phi \sin \theta+\mathbf{j} \sin \phi \sin \theta+\mathbf{k} \cos \theta \\ &\mathbf{e}_{\theta}=\mathbf{i} \cos \phi \cos \theta+\mathbf{j} \sin \phi \cos \theta-\mathbf{k} \sin \theta \\ &\mathbf{e}_{\phi}=-\mathbf{i} \sin \phi+\mathbf{j} \cos \phi \end{aligned}$$

  Express $\mathbf{i}, \mathbf{j}$ and $\mathbf{k}$ in terms of $\mathbf{e}_{r}, \mathbf{e}_{\phi}$ and $\mathbf{e}_{\theta}$.

  (ii) Use suffix notation to prove the following identity for the vectors $\mathbf{A}, \mathbf{B}$, and $\mathbf{C}$ in $\mathbb{R}^{3}$ :

  $$(\mathbf{A} \times \mathbf{B}) \times(\mathbf{A} \times \mathbf{C})=(\mathbf{A} \cdot \mathbf{B} \times \mathbf{C}) \mathbf{A}$$

  comment

• Paper 1, Section I, B

  Algebra and Geometry

  Part IA, 2007

  For the equations

  $$\begin{gathered} p x+y+z=1 \\ x+2 y+4 z=t \\ x+4 y+10 z=t^{2} \end{gathered}$$

  find the values of $p$ and $t$ for which

  (i) there is a unique solution;

  (ii) there are infinitely many solutions;

  (iii) there is no solution.

  comment

• Paper 1, Section II, C

  Algebra and Geometry

  Part IA, 2007

  (i) Describe geometrically the following surfaces in three-dimensional space:

  (a) $\mathbf{r} \cdot \mathbf{u}=\alpha|\mathbf{r}|$, where $0<|\alpha|<1$

  (b) $|\mathbf{r}-(\mathbf{r} \cdot \mathbf{u}) \mathbf{u}|=\beta$, where $\beta>0$.

  Here $\alpha$ and $\beta$ are fixed scalars and $\mathbf{u}$ is a fixed unit vector. You should identify the meaning of $\alpha, \beta$ and $\mathbf{u}$ for these surfaces.

  (ii) The plane $\mathbf{n} \cdot \mathbf{r}=p$, where $\mathbf{n}$ is a fixed unit vector, and the sphere with centre $\mathbf{c}$ and radius $a$ intersect in a circle with centre $\mathbf{b}$ and radius $\rho$.

  (a) Show that $\mathbf{b}-\mathbf{c}=\lambda \mathbf{n}$, where you should give $\lambda$ in terms of $a$ and $\rho$.

  (b) Find $\rho$ in terms of $\mathbf{c}, \mathbf{n}, a$ and $p$.

  comment

• Paper 1, Section II, C

  Algebra and Geometry

  Part IA, 2007

  Let $\mathcal{M}: \mathbb{R}^{3} \rightarrow \mathbb{R}^{3}$ be the linear map defined by

  $$\mathbf{x} \mapsto \mathbf{x}^{\prime}=a \mathbf{x}+b(\mathbf{n} \times \mathbf{x})$$

  where $a$ and $b$ are positive scalar constants, and $\mathbf{n}$ is a unit vector.

  (i) By considering the effect of $\mathcal{M}$ on $\mathbf{n}$ and on a vector orthogonal to $\mathbf{n}$, describe geometrically the action of $\mathcal{M}$.

  (ii) Express the map $\mathcal{M}$ as a matrix $M$ using suffix notation. Find $a, b$ and $\mathbf{n}$ in the case

  $$M=\left(\begin{array}{rrr} 2 & -2 & 2 \\ 2 & 2 & -1 \\ -2 & 1 & 2 \end{array}\right)$$

  (iii) Find, in the general case, the inverse map (i.e. express $\mathbf{x}$ in terms of $\mathbf{x}^{\prime}$ in vector form).

  comment

• Paper 1, Section II, C

  Algebra and Geometry

  Part IA, 2007

  Let $\mathbf{x}$ and $\mathbf{y}$ be non-zero vectors in a real vector space with scalar product denoted by $\mathbf{x} \cdot \mathbf{y}$. Prove that $(\mathbf{x} \cdot \mathbf{y})^{2} \leqslant(\mathbf{x} \cdot \mathbf{x})(\mathbf{y} \cdot \mathbf{y})$, and prove also that $(\mathbf{x} \cdot \mathbf{y})^{\mathbf{2}}=(\mathbf{x} \cdot \mathbf{x})(\mathbf{y} \cdot \mathbf{y})$ if and only if $\mathbf{x}=\lambda \mathbf{y}$ for some scalar $\lambda$.

  (i) By considering suitable vectors in $\mathbb{R}^{3}$, or otherwise, prove that the inequality $x^{2}+y^{2}+z^{2} \geqslant y z+z x+x y$ holds for any real numbers $x, y$ and $z$.

  (ii) By considering suitable vectors in $\mathbb{R}^{4}$, or otherwise, show that only one choice of real numbers $x, y, z$ satisfies $3\left(x^{2}+y^{2}+z^{2}+4\right)-2(y z+z x+x y)-4(x+y+z)=0$, and find these numbers.

  comment

• Paper 1, Section II, A

  Algebra and Geometry

  Part IA, 2007

  (i) Show that any line in the complex plane $\mathbb{C}$ can be represented in the form

  $$\bar{c} z+c \bar{z}+r=0,$$

  where $c \in \mathbb{C}$ and $r \in \mathbb{R}$.

  (ii) If $z$ and $u$ are two complex numbers for which

  $$\left|\frac{z+u}{z+\bar{u}}\right|=1$$

  show that either $z$ or $u$ is real.

  (iii) Show that any Möbius transformation

  $$w=\frac{a z+b}{c z+d} \quad(b c-a d \neq 0)$$

  that maps the real axis $z=\bar{z}$ into the unit circle $|w|=1$ can be expressed in the form

  $$w=\lambda \frac{z+k}{z+\bar{k}}$$

  where $\lambda, k \in \mathbb{C}$ and $|\lambda|=1$.

  comment

• Paper 3, Section I, D

  Algebra and Geometry

  Part IA, 2007

  Prove that every permutation of $\{1, \ldots, n\}$ may be expressed as a product of disjoint cycles.

  Let $\sigma=(1234)$ and let $\tau=(345)(678)$. Write $\sigma \tau$ as a product of disjoint cycles. What is the order of $\sigma \tau ?$

  comment

• Paper 3, Section I, D

  Algebra and Geometry

  Part IA, 2007

  What does it mean to say that groups $G$ and $H$ are isomorphic?

  Prove that no two of $C_{8}, C_{4} \times C_{2}$ and $C_{2} \times C_{2} \times C_{2}$ are isomorphic. [Here $C_{n}$ denotes the cyclic group of order $n$.]

  Give, with justification, a group of order 8 that is not isomorphic to any of those three groups.

  comment

• Paper 3, Section II, D

  Algebra and Geometry

  Part IA, 2007

  Let $A$ be a real symmetric $n \times n$ matrix. Prove that every eigenvalue of $A$ is real, and that eigenvectors corresponding to distinct eigenvalues are orthogonal. Indicate clearly where in your argument you have used the fact that $A$ is real.

  What does it mean to say that a real $n \times n$ matrix $P$ is orthogonal ? Show that if $P$ is orthogonal and $A$ is as above then $P^{-1} A P$ is symmetric. If $P$ is any real invertible matrix, must $P^{-1} A P$ be symmetric? Justify your answer.

  Give, with justification, real $2 \times 2$ matrices $B, C, D, E$ with the following properties:

  (i) $B$ has no real eigenvalues;

  (ii) $C$ is not diagonalisable over $\mathbb{C}$;

  (iii) $D$ is diagonalisable over $\mathbb{C}$, but not over $\mathbb{R}$;

  (iv) $E$ is diagonalisable over $\mathbb{R}$, but does not have an orthonormal basis of eigenvectors.

  comment

• Paper 3, Section II, D

  Algebra and Geometry

  Part IA, 2007

  In the group of Möbius maps, what is the order of the Möbius map $z \mapsto \frac{1}{z}$ ? What is the order of the Möbius map $z \mapsto \frac{1}{1-z}$ ?

  Prove that every Möbius map is conjugate either to a map of the form $z \mapsto \mu z$ (some $\mu \in \mathbb{C}$ ) or to the $\operatorname{map} z \mapsto z+1$. Is $z \mapsto z+1$ conjugate to a map of the form $z \mapsto \mu z ?$

  Let $f$ be a Möbius map of order $n$, for some positive integer $n$. Under the action on $\mathbb{C} \cup\{\infty\}$ of the group generated by $f$, what are the various sizes of the orbits? Justify your answer.

  comment

• Paper 3, Section II, D

  Algebra and Geometry

  Part IA, 2007

  Let $x$ be an element of a finite group $G$. What is meant by the order of $x$ ? Prove that the order of $x$ must divide the order of $G$. [No version of Lagrange's theorem or the Orbit-Stabilizer theorem may be used without proof.]

  If $G$ is a group of order $n$, and $d$ is a divisor of $n$ with $d<n$, is it always true that $G$ must contain an element of order $d$ ? Justify your answer.

  Prove that if $m$ and $n$ are coprime then the group $C_{m} \times C_{n}$ is cyclic.

  If $m$ and $n$ are not coprime, can it happen that $C_{m} \times C_{n}$ is cyclic?

  [Here $C_{n}$ denotes the cyclic group of order $n$.]

  comment

• Paper 3, Section II, $6 \mathrm{D}$

  Algebra and Geometry

  Part IA, 2007

  What does it mean to say that a subgroup $H$ of a group $G$ is normal? Give, with justification, an example of a subgroup of a group that is normal, and also an example of a subgroup of a group that is not normal.

  If $H$ is a normal subgroup of $G$, explain carefully how to make the set of (left) cosets of $H$ into a group.

  Let $H$ be a normal subgroup of a finite group $G$. Which of the following are always true, and which can be false? Give proofs or counterexamples as appropriate.

  (i) If $G$ is cyclic then $H$ and $G / H$ are cyclic.

  (ii) If $H$ and $G / H$ are cyclic then $G$ is cyclic.

  (iii) If $G$ is abelian then $H$ and $G / H$ are abelian.

  (iv) If $H$ and $G / H$ are abelian then $G$ is abelian.

  comment

• Paper 1, Section I, $3 F$

  Analysis

  Part IA, 2007

  Prove that, for positive real numbers $a$ and $b$,

  $$2 \sqrt{a b} \leqslant a+b$$

  For positive real numbers $a_{1}, a_{2}, \ldots$, prove that the convergence of

  $$\sum_{n=1}^{\infty} a_{n}$$

  implies the convergence of

  $$\sum_{n=1}^{\infty} \frac{\sqrt{a_{n}}}{n}$$

  comment

• Paper 1, Section I, D

  Analysis

  Part IA, 2007

  Let $\sum_{n=0}^{\infty} a_{n} z^{n}$ be a complex power series. Show that there exists $R \in[0, \infty]$ such that $\sum_{n=0}^{\infty} a_{n} z^{n}$ converges whenever $|z|<R$ and diverges whenever $|z|>R$.

  Find the value of $R$ for the power series

  $$\sum_{n=1}^{\infty} \frac{z^{n}}{n}$$

  comment

• Paper 1, Section II, F

  Analysis

  Part IA, 2007

  Let $a_{1}=\sqrt{2}$, and consider the sequence of positive real numbers defined by

  $$a_{n+1}=\sqrt{2+\sqrt{a}_{n}}, \quad n=1,2,3, \ldots$$

  Show that $a_{n} \leqslant 2$ for all $n$. Prove that the sequence $a_{1}, a_{2}, \ldots$ converges to a limit.

  Suppose instead that $a_{1}=4$. Prove that again the sequence $a_{1}, a_{2}, \ldots$ converges to a limit.

  Prove that the limits obtained in the two cases are equal.

  comment

• Paper 1, Section II, E

  Analysis

  Part IA, 2007

  State and prove the Mean Value Theorem.

  Let $f: \mathbb{R} \rightarrow \mathbb{R}$ be a function such that, for every $x \in \mathbb{R}, f^{\prime \prime}(x)$ exists and is non-negative.

  (i) Show that if $x \leqslant y$ then $f^{\prime}(x) \leqslant f^{\prime}(y)$.

  (ii) Let $\lambda \in(0,1)$ and $a<b$. Show that there exist $x$ and $y$ such that

  $$f(\lambda a+(1-\lambda) b)=f(a)+(1-\lambda)(b-a) f^{\prime}(x)=f(b)-\lambda(b-a) f^{\prime}(y)$$

  and that

  $$f(\lambda a+(1-\lambda) b) \leqslant \lambda f(a)+(1-\lambda) f(b) .$$

  comment

• Paper 1, Section II, E

  Analysis

  Part IA, 2007

  Let $a<b$ be real numbers, and let $f:[a, b] \rightarrow \mathbb{R}$ be continuous. Show that $f$ is bounded on $[a, b]$, and that there exist $c, d \in[a, b]$ such that for all $x \in[a, b]$, $f(c) \leqslant f(x) \leqslant f(d)$.

  Let $g: \mathbb{R} \rightarrow \mathbb{R}$ be a continuous function such that

  $$\lim _{x \rightarrow+\infty} g(x)=\lim _{x \rightarrow-\infty} g(x)=0$$

  Show that $g$ is bounded. Show also that, if $a$ and $c$ are real numbers with $0<c \leqslant g(a)$, then there exists $x \in \mathbb{R}$ with $g(x)=c$.

  comment

• Paper 1, Section II, D

  Analysis

  Part IA, 2007

  Explain carefully what it means to say that a bounded function $f:[0,1] \rightarrow \mathbb{R}$ is Riemann integrable.

  Prove that every continuous function $f:[0,1] \rightarrow \mathbb{R}$ is Riemann integrable.

  For each of the following functions from $[0,1]$ to $\mathbb{R}$, determine with proof whether or not it is Riemann integrable:

  (i) the function $f(x)=x \sin \frac{1}{x}$ for $x \neq 0$, with $f(0)=0$;

  (ii) the function $g(x)=\sin \frac{1}{x}$ for $x \neq 0$, with $g(0)=0$.

  comment

• Paper 2, Section I, B

  Differential Equations

  Part IA, 2007

  Find the solution $y(x)$ of the equation

  $$y^{\prime \prime}-6 y^{\prime}+9 y=\cos (2 x) \mathrm{e}^{3 x}$$

  that satisfies $y(0)=0$ and $y^{\prime}(0)=1$.

  comment

• Paper 2, Section I, B

  Differential Equations

  Part IA, 2007

  Investigate the stability of:

  (i) the equilibrium points of the equation

  $$\frac{d y}{d t}=\left(y^{2}-4\right) \tan ^{-1}(y)$$

  (ii) the constant solutions $\left(u_{n+1}=u_{n}\right)$ of the discrete equation

  $$u_{n+1}=\frac{1}{2} u_{n}^{2}\left(1+u_{n}\right)$$

  comment

• Paper 2, Section II, B

  Differential Equations

  Part IA, 2007

  (i) The function $y(z)$ satisfies the equation

  $$y^{\prime \prime}+p(z) y^{\prime}+q(z) y=0$$

  Give the definitions of the terms ordinary point, singular point, and regular singular point for this equation.

  (ii) For the equation

  $$4 z y^{\prime \prime}+2 y^{\prime}+y=0,$$

  classify the point $z=0$ according to the definitions you gave in (i), and find the series solutions about $z=0$. Identify these solutions in closed form.

  comment

• Paper 2, Section II, B

  Differential Equations

  Part IA, 2007

  Find the most general solution of the equation

  $$6 \frac{\partial^{2} u}{\partial x^{2}}-5 \frac{\partial^{2} u}{\partial x \partial y}+\frac{\partial^{2} u}{\partial y^{2}}=1$$

  by making the change of variables

  $$\xi=x+2 y, \quad \eta=x+3 y .$$

  Find the solution that satisfies $u=0$ and $\partial u / \partial y=x$ when $y=0$.

  comment

• Paper 2, Section II, B

  Differential Equations

  Part IA, 2007

  (i) Find, in the form of an integral, the solution of the equation

  $$\alpha \frac{d y}{d t}+y=f(t)$$

  that satisfies $y \rightarrow 0$ as $t \rightarrow-\infty$. Here $f(t)$ is a general function and $\alpha$ is a positive constant.

  Hence find the solution in each of the cases:

  (a) $f(t)=\delta(t)$;

  (b) $f(t)=H(t)$, where $H(t)$ is the Heaviside step function.

  (ii) Find and sketch the solution of the equation

  $$\frac{d y}{d t}+y=H(t)-H(t-1)$$

  given that $y(0)=0$ and $y(t)$ is continuous.

  comment

• Paper 2, Section II, B

  Differential Equations

  Part IA, 2007

  (i) Find the general solution of the difference equation

  $$u_{k+1}+5 u_{k}+6 u_{k-1}=12 k+1$$

  (ii) Find the solution of the equation

  $$y_{k+1}+5 y_{k}+6 y_{k-1}=2^{k}$$

  that satisfies $y_{0}=y_{1}=1$. Hence show that, for any positive integer $n$, the quantity $2^{n}-26(-3)^{n}$ is divisible by $10 .$

  comment

• Paper 4, Section I, C

  Dynamics

  Part IA, 2007

  A rocket, moving vertically upwards, ejects gas vertically downwards at speed $u$ relative to the rocket. Derive, giving careful explanations, the equation of motion

  $$m \frac{d v}{d t}=-u \frac{d m}{d t}-g m$$

  where $v$ and $m$ are the speed and total mass of the rocket (including fuel) at time $t$.

  If $u$ is constant and the rocket starts from rest with total mass $m_{0}$, show that

  $$m=m_{0} e^{-(g t+v) / u}$$

  comment

• Paper 4, Section I, C

  Dynamics

  Part IA, 2007

  Sketch the graph of $y=3 x^{2}-2 x^{3}$.

  A particle of unit mass moves along the $x$ axis in the potential $V(x)=3 x^{2}-2 x^{3}$. Sketch the phase plane, and describe briefly the motion of the particle on the different trajectories.

  comment

• Paper 4, Section II, C

  Dynamics

  Part IA, 2007

  A small ring of mass $m$ is threaded on a smooth rigid wire in the shape of a parabola given by $x^{2}=4 a z$, where $x$ measures horizontal distance and $z$ measures distance vertically upwards. The ring is held at height $z=h$, then released.

  (i) Show by dimensional analysis that the period of oscillations, $T$, can be written in the form

  $$T=(a / g)^{1 / 2} G(h / a)$$

  for some function $G$.

  (ii) Show that $G$ is given by

  $$G(\beta)=2 \sqrt{2} \int_{-1}^{1}\left(\frac{1+\beta u^{2}}{1-u^{2}}\right)^{\frac{1}{2}} d u$$

  and find, to first order in $h / a$, the period of small oscillations.

  comment

• Paper 4, Section II, C

  Dynamics

  Part IA, 2007

  A particle of mass $m$ experiences, at the point with position vector $\mathbf{r}$, a force $\mathbf{F}$ given by

  $$\mathbf{F}=-k \mathbf{r}-e \dot{\mathbf{r}} \times \mathbf{B},$$

  where $k$ and $e$ are positive constants and $\mathbf{B}$ is a constant, uniform, vector field.

  (i) Show that $m \dot{\mathbf{r}} \cdot \dot{\mathbf{r}}+k \mathbf{r} \cdot \mathbf{r}$ is constant. Give a physical interpretation of each term and a physical explanation of the fact that $\mathbf{B}$ does not arise in this expression.

  (ii) Show that $m(\dot{\mathbf{r}} \times \mathbf{r}) \cdot \mathbf{B}+\frac{1}{2} e(\mathbf{r} \times \mathbf{B}) \cdot(\mathbf{r} \times \mathbf{B})$ is constant.

  (iii) Given that the particle was initially at rest at $\mathbf{r}_{0}$, derive an expression for $\mathbf{r} \cdot \mathbf{B}$ at time $t$.

  comment

• Paper 4, Section II, C

  Dynamics

  Part IA, 2007

  A particle moves in the gravitational field of the Sun. The angular momentum per unit mass of the particle is $h$ and the mass of the Sun is $M$. Assuming that the particle moves in a plane, write down the equations of motion in polar coordinates, and derive the equation

  $$\frac{d^{2} u}{d \theta^{2}}+u=k$$

  where $u=1 / r$ and $k=G M / h^{2}$.

  Write down the equation of the orbit ( $u$ as a function of $\theta$ ), given that the particle moves with the escape velocity and is at the perihelion of its orbit, a distance $r_{0}$ from the Sun, when $\theta=0$. Show that

  $$\sec ^{4}(\theta / 2) \frac{d \theta}{d t}=\frac{h}{r_{0}^{2}}$$

  and hence that the particle reaches a distance $2 r_{0}$ from the Sun at time $8 r_{0}^{2} /(3 h)$.

  comment

• Paper 4, Section II, $12 \mathrm{C}$

  Dynamics

  Part IA, 2007

  The $i$ th particle of a system of $N$ particles has mass $m_{i}$ and, at time $t$, position vector $\mathbf{r}_{i}$ with respect to an origin $O$. It experiences an external force $\mathbf{F}_{i}^{e}$, and also an internal force $\mathbf{F}_{i j}$ due to the $j$ th particle (for each $j=1, \ldots, N, j \neq i$ ), where $\mathbf{F}_{i j}$ is parallel to $\mathbf{r}_{i}-\mathbf{r}_{j}$ and Newton's third law applies.

  (i) Show that the position of the centre of mass, $\mathbf{X}$, satisfies

  $$M \frac{d^{2} \mathbf{X}}{d t^{2}}=\mathbf{F}^{e}$$

  where $M$ is the total mass of the system and $\mathbf{F}^{e}$ is the sum of the external forces.

  (ii) Show that the total angular momentum of the system about the origin, $\mathbf{L}$, satisfies

  $$\frac{d \mathbf{L}}{d t}=\mathbf{N}$$

  where $\mathbf{N}$ is the total moment about the origin of the external forces.

  (iii) Show that $\mathbf{L}$ can be expressed in the form

  $$\mathbf{L}=M \mathbf{X} \times \mathbf{V}+\sum_{i} m_{i} \mathbf{r}_{i}^{\prime} \times \mathbf{v}_{i}^{\prime}$$

  where $\mathbf{V}$ is the velocity of the centre of mass, $\mathbf{r}_{i}^{\prime}$ is the position vector of the $i$ th particle relative to the centre of mass, and $\mathbf{v}_{i}^{\prime}$ is the velocity of the $i$ th particle relative to the centre of mass.

  (iv) In the case $N=2$ when the internal forces are derived from a potential $U(|\mathbf{r}|)$, where $\mathbf{r}=\mathbf{r}_{1}-\mathbf{r}_{2}$, and there are no external forces, show that

  $$\frac{d T}{d t}+\frac{d U}{d t}=0$$

  where $T$ is the total kinetic energy of the system.

  comment

• Paper 4, Section I, $1 E$

  Numbers and Sets

  Part IA, 2007

  (i) Use Euclid's algorithm to find all pairs of integers $x$ and $y$ such that

  $$7 x+18 y=1$$

  (ii) Show that, if $n$ is odd, then $n^{3}-n$ is divisible by 24 .

  comment

• Paper 4, Section I, $2 E$

  Numbers and Sets

  Part IA, 2007

  For integers $k$ and $n$ with $0 \leqslant k \leqslant n$, define $\left(\begin{array}{l}n \\ k\end{array}\right)$. Arguing from your definition, show that

  $$\left(\begin{array}{c} n-1 \\ k \end{array}\right)+\left(\begin{array}{l} n-1 \\ k-1 \end{array}\right)=\left(\begin{array}{l} n \\ k \end{array}\right)$$

  for all integers $k$ and $n$ with $1 \leqslant k \leqslant n-1$.

  Use induction on $k$ to prove that

  $$\sum_{j=0}^{k}\left(\begin{array}{c} n+j \\ j \end{array}\right)=\left(\begin{array}{c} n+k+1 \\ k \end{array}\right)$$

  for all non-negative integers $k$ and $n$.

  comment

• Paper 4 , Section II, E

  Numbers and Sets

  Part IA, 2007

  State and prove the Inclusion-Exclusion principle.

  The keypad on a cash dispenser is broken. To withdraw money, a customer is required to key in a 4-digit number. However, the key numbered 0 will only function if either the immediately preceding two keypresses were both 1 , or the very first key pressed was 2. Explaining your reasoning clearly, use the Inclusion-Exclusion Principle to find the number of 4-digit codes which can be entered.

  comment

• Paper 4, Section II, $6 \mathrm{E}$

  Numbers and Sets

  Part IA, 2007

  Stating carefully any results about countability you use, show that for any $d \geqslant 1$ the set $\mathbb{Z}\left[X_{1}, \ldots, X_{d}\right]$ of polynomials with integer coefficients in $d$ variables is countable. By taking $d=1$, deduce that there exist uncountably many transcendental numbers.

  Show that there exists a sequence $x_{1}, x_{2}, \ldots$ of real numbers with the property that $f\left(x_{1}, \ldots, x_{d}\right) \neq 0$ for every $d \geqslant 1$ and for every non-zero polynomial $f \in \mathbb{Z}\left[X_{1}, \ldots, X_{d}\right]$.

  [You may assume without proof that $\mathbb{R}$ is uncountable.]

  comment

• Paper 4, Section II, $7 \mathbf{E}$

  Numbers and Sets

  Part IA, 2007

  Let $x_{n}(n=1,2, \ldots)$ be real numbers.

  What does it mean to say that the sequence $\left(x_{n}\right)_{n=1}^{\infty}$ converges?

  What does it mean to say that the series $\sum_{n=1}^{\infty} x_{n}$ converges?

  Show that if $\sum_{n=1}^{\infty} x_{n}$ is convergent, then $x_{n} \rightarrow 0$. Show that the converse can be false.

  Sequences of positive real numbers $x_{n}, y_{n}(n \geqslant 1)$ are given, such that the inequality

  $$y_{n+1} \leqslant y_{n}-\frac{1}{2} \min \left(x_{n}, y_{n}\right)$$

  holds for all $n \geqslant 1$. Show that, if $\sum_{n=1}^{\infty} x_{n}$ diverges, then $y_{n} \rightarrow 0$.

  comment

• Paper 4, Section II, E

  Numbers and Sets

  Part IA, 2007

  (i) Let $p$ be a prime number, and let $x$ and $y$ be integers such that $p$ divides $x y$. Show that at least one of $x$ and $y$ is divisible by $p$. Explain how this enables one to prove the Fundamental Theorem of Arithmetic.

  [Standard properties of highest common factors may be assumed without proof.]

  (ii) State and prove the Fermat-Euler Theorem.

  Let $1 / 359$ have decimal expansion $0 \cdot a_{1} a_{2} \ldots$ with $a_{n} \in\{0,1, \ldots, 9\}$. Use the fact that $60^{2} \equiv 10(\bmod 359)$ to show that, for every $n, a_{n}=a_{n+179}$.

  comment

• Paper 2, Section I, F

  Probability

  Part IA, 2007

  Let $X$ and $Y$ be independent random variables, each uniformly distributed on $[0,1]$. Let $U=\min (X, Y)$ and $V=\max (X, Y)$. Show that $\mathbb{E} U=\frac{1}{3}$, and hence find the covariance of $U$ and $V$.

  comment

• Paper 2, Section I, F

  Probability

  Part IA, 2007

  Let $X$ be a normally distributed random variable with mean 0 and variance 1 . Define, and determine, the moment generating function of $X$. Compute $\mathbb{E} X^{r}$ for $r=0,1,2,3,4$.

  Let $Y$ be a normally distributed random variable with mean $\mu$ and variance $\sigma^{2}$. Determine the moment generating function of $Y$.

  comment

• Paper 2, Section II, F

  Probability

  Part IA, 2007

  Let $N$ be a non-negative integer-valued random variable with

  $$P\{N=r\}=p_{r}, \quad r=0,1,2, \ldots$$

  Define $\mathbb{E} N$, and show that

  $$\mathbb{E} N=\sum_{n=1}^{\infty} P\{N \geqslant n\} .$$

  Let $X_{1}, X_{2}, \ldots$ be a sequence of independent and identically distributed continuous random variables. Let the random variable $N$ mark the point at which the sequence stops decreasing: that is, $N \geqslant 2$ is such that

  $$X_{1} \geqslant X_{2} \geqslant \ldots \geqslant X_{N-1}<X_{N},$$

  where, if there is no such finite value of $N$, we set $N=\infty$. Compute $P\{N=r\}$, and show that $P\{N=\infty\}=0$. Determine $\mathbb{E} N$.

  comment

• Paper 2, Section II, F

  Probability

  Part IA, 2007

  Let $X$ and $Y$ be independent non-negative random variables, with densities $f$ and $g$ respectively. Find the joint density of $U=X$ and $V=X+a Y$, where $a$ is a positive constant.

  Let $X$ and $Y$ be independent and exponentially distributed random variables, each with density

  $$f(x)=\lambda e^{-\lambda x}, \quad x \geqslant 0$$

  Find the density of $X+\frac{1}{2} Y$. Is it the same as the density of the random variable $\max (X, Y) ?$

  comment

• Paper 2, Section II, F

  Probability

  Part IA, 2007

  Let $A_{1}, A_{2}, \ldots, A_{n}(n \geqslant 2)$ be events in a sample space. For each of the following statements, either prove the statement or provide a counterexample.

  (i)

  $$P\left(\bigcap_{k=2}^{n} A_{k} \mid A_{1}\right)=\prod_{k=2}^{n} P\left(A_{k} \mid \bigcap_{r=1}^{k-1} A_{r}\right), \quad \text { provided } P\left(\bigcap_{k=1}^{n-1} A_{k}\right)>0$$

  (ii)

  $$\text { If } \sum_{k=1}^{n} P\left(A_{k}\right)>n-1 \text { then } P\left(\bigcap_{k=1}^{n} A_{k}\right)>0$$

  (iii)

  $$\text { If } \sum_{i<j} P\left(A_{i} \cap A_{j}\right)>\left(\begin{array}{c} n \\ 2 \end{array}\right)-1 \text { then } P\left(\bigcap_{k=1}^{n} A_{k}\right)>0 \text {. }$$

  (iv) If $B$ is an event and if, for each $k,\left\{B, A_{k}\right\}$ is a pair of independent events, then $\left\{B, \cup_{k=1}^{n} A_{k}\right\}$ is also a pair of independent events.

  comment

• Paper 2, Section II, F

  Probability

  Part IA, 2007

  Let $A, B$ and $C$ be three random points on a sphere with centre $O$. The positions of $A, B$ and $C$ are independent, and each is uniformly distributed over the surface of the sphere. Calculate the probability density function of the angle $\angle A O B$ formed by the lines $O A$ and $O B$.

  Calculate the probability that all three of the angles $\angle A O B, \angle A O C$ and $\angle B O C$ are acute. [Hint: Condition on the value of the angle $\angle A O B$.]

  comment

• Paper 3 , Section I, A

  Vector Calculus

  Part IA, 2007

  (i) Give definitions for the unit tangent vector $\hat{\mathbf{T}}$ and the curvature $\kappa$ of a parametrised curve $\mathbf{x}(t)$ in $\mathbb{R}^{3}$. Calculate $\hat{\mathbf{T}}$ and $\kappa$ for the circular helix

  $$\mathbf{x}(t)=(a \cos t, a \sin t, b t),$$

  where $a$ and $b$ are constants.

  (ii) Find the normal vector and the equation of the tangent plane to the surface $S$ in $\mathbb{R}^{3}$ given by

  $$z=x^{2} y^{3}-y+1$$

  at the point $x=1, y=1, z=1$.

  comment

• Paper 3, Section I, A

  Vector Calculus

  Part IA, 2007

  By using suffix notation, prove the following identities for the vector fields $\mathbf{A}$ and B in $\mathbb{R}^{3}$ :

  $$\begin{gathered} \nabla \cdot(\mathbf{A} \times \mathbf{B})=\mathbf{B} \cdot(\nabla \times \mathbf{A})-\mathbf{A} \cdot(\nabla \times \mathbf{B}) \\ \nabla \times(\mathbf{A} \times \mathbf{B})=(\mathbf{B} \cdot \nabla) \mathbf{A}-\mathbf{B}(\nabla \cdot \mathbf{A})-(\mathbf{A} \cdot \nabla) \mathbf{B}+\mathbf{A}(\nabla \cdot \mathbf{B}) \end{gathered}$$

  comment

• Paper 3, Section II, A

  Vector Calculus

  Part IA, 2007

  (i) Define what is meant by a conservative vector field. Given a vector field $\mathbf{A}=\left(A_{1}(x, y), A_{2}(x, y)\right)$ and a function $\psi(x, y)$ defined in $\mathbb{R}^{2}$, show that, if $\psi \mathbf{A}$ is a conservative vector field, then

  $$\psi\left(\frac{\partial A_{1}}{\partial y}-\frac{\partial A_{2}}{\partial x}\right)=A_{2} \frac{\partial \psi}{\partial x}-A_{1} \frac{\partial \psi}{\partial y}$$

  (ii) Given two functions $P(x, y)$ and $Q(x, y)$ defined in $\mathbb{R}^{2}$, prove Green's theorem,

  $$\oint_{C}(P d x+Q d y)=\iint_{R}\left(\frac{\partial Q}{\partial x}-\frac{\partial P}{\partial y}\right) d x d y$$

  where $C$ is a simple closed curve bounding a region $R$ in $\mathbb{R}^{2}$.

  Through an appropriate choice for $P$ and $Q$, find an expression for the area of the region $R$, and apply this to evaluate the area of the ellipse bounded by the curve

  $$x=a \cos \theta, \quad y=b \sin \theta, \quad 0 \leqslant \theta \leqslant 2 \pi$$

  comment

• Paper 3, Section II, A

  Vector Calculus

  Part IA, 2007

  For a given charge distribution $\rho(x, y, z)$ and divergence-free current distribution $\mathbf{J}(x, y, z)$ (i.e. $\nabla \cdot \mathbf{J}=0)$ in $\mathbb{R}^{3}$, the electric and magnetic fields $\mathbf{E}(x, y, z)$ and $\mathbf{B}(x, y, z)$ satisfy the equations

  $$\nabla \times \mathbf{E}=0, \quad \nabla \cdot \mathbf{B}=0, \quad \nabla \cdot \mathbf{E}=\rho, \quad \nabla \times \mathbf{B}=\mathbf{J}$$

  The radiation flux vector $\mathbf{P}$ is defined by $\mathbf{P}=\mathbf{E} \times \mathbf{B}$. For a closed surface $S$ around a region $V$, show using Gauss' theorem that the flux of the vector $\mathbf{P}$ through $S$ can be expressed as

  $$\iint_{S} \mathbf{P} \cdot \mathbf{d} \mathbf{S}=-\iiint_{V} \mathbf{E} \cdot \mathbf{J} d V$$

  For electric and magnetic fields given by

  $$\mathbf{E}(x, y, z)=(z, 0, x), \quad \mathbf{B}(x, y, z)=(0,-x y, x z)$$

  find the radiation flux through the quadrant of the unit spherical shell given by

  $$x^{2}+y^{2}+z^{2}=1, \quad \text { with } \quad 0 \leqslant x \leqslant 1, \quad 0 \leqslant y \leqslant 1, \quad-1 \leqslant z \leqslant 1$$

  [If you use (*), note that an open surface has been specified.]

  comment

• Paper 3, Section II, A

  Vector Calculus

  Part IA, 2007

  The function $\phi(x, y, z)$ satisfies $\nabla^{2} \phi=0$ in $V$ and $\phi=0$ on $S$, where $V$ is a region of $\mathbb{R}^{3}$ which is bounded by the surface $S$. Prove that $\phi=0$ everywhere in $V$.

  Deduce that there is at most one function $\psi(x, y, z)$ satisfying $\nabla^{2} \psi=\rho$ in $V$ and $\psi=f$ on $S$, where $\rho(x, y, z)$ and $f(x, y, z)$ are given functions.

  Given that the function $\psi=\psi(r)$ depends only on the radial coordinate $r=|\mathbf{x}|$, use Cartesian coordinates to show that

  $$\nabla \psi=\frac{1}{r} \frac{d \psi}{d r} \mathbf{x}, \quad \nabla^{2} \psi=\frac{1}{r} \frac{d^{2}(r \psi)}{d r^{2}}$$

  Find the general solution in this radial case for $\nabla^{2} \psi=c$ where $c$ is a constant.

  Find solutions $\psi(r)$ for a solid sphere of radius $r=2$ with a central cavity of radius $r=1$ in the following three regions:

  (i) $0 \leqslant r \leqslant 1$ where $\nabla^{2} \psi=0$ and $\psi(1)=1$ and $\psi$ bounded as $r \rightarrow 0$;

  (ii) $1 \leqslant r \leqslant 2$ where $\nabla^{2} \psi=1$ and $\psi(1)=\psi(2)=1$;

  (iii) $r \geqslant 2$ where $\nabla^{2} \psi=0$ and $\psi(2)=1$ and $\psi \rightarrow 0$ as $r \rightarrow \infty$.

  comment

• Paper 3, Section II, A

  Vector Calculus

  Part IA, 2007

  Show that any second rank Cartesian tensor $P_{i j}$ in $\mathbb{R}^{3}$ can be written as a sum of a symmetric tensor and an antisymmetric tensor. Further, show that $P_{i j}$ can be decomposed into the following terms

  $$P_{i j}=P \delta_{i j}+S_{i j}+\epsilon_{i j k} A_{k},$$

  where $S_{i j}$ is symmetric and traceless. Give expressions for $P, S_{i j}$ and $A_{k}$ explicitly in terms of $P_{i j}$.

  For an isotropic material, the stress $P_{i j}$ can be related to the strain $T_{i j}$ through the stress-strain relation, $P_{i j}=c_{i j k l} T_{k l}$, where the elasticity tensor is given by

  $$c_{i j k l}=\alpha \delta_{i j} \delta_{k l}+\beta \delta_{i k} \delta_{j l}+\gamma \delta_{i l} \delta_{j k}$$

  and $\alpha, \beta$ and $\gamma$ are scalars. As in $(\dagger)$, the strain $T_{i j}$ can be decomposed into its trace $T$, a symmetric traceless tensor $W_{i j}$ and a vector $V_{k}$. Use the stress-strain relation to express each of $T, W_{i j}$ and $V_{k}$ in terms of $P, S_{i j}$ and $A_{k}$.

  Hence, or otherwise, show that if $T_{i j}$ is symmetric then so is $P_{i j}$. Show also that the stress-strain relation can be written in the form

  $$P_{i j}=\lambda \delta_{i j} T_{k k}+\mu T_{i j}$$

  where $\mu$ and $\lambda$ are scalars.

  comment

• 1.I.1G

  Linear Algebra

  Part IB, 2007

  Suppose that $\left\{e_{1}, \ldots, e_{3}\right\}$ is a basis of the complex vector space $\mathbb{C}^{3}$ and that $A: \mathbb{C}^{3} \rightarrow \mathbb{C}^{3}$ is the linear operator defined by $A\left(e_{1}\right)=e_{2}, A\left(e_{2}\right)=e_{3}$, and $A\left(e_{3}\right)=e_{1}$.

  By considering the action of $A$ on column vectors of the form $\left(1, \xi, \xi^{2}\right)^{T}$, where $\xi^{3}=1$, or otherwise, find the diagonalization of $A$ and its characteristic polynomial.

  comment

• 1.II.9G

  Linear Algebra

  Part IB, 2007

  State and prove Sylvester's law of inertia for a real quadratic form.

  [You may assume that for each real symmetric matrix A there is an orthogonal matrix $U$, such that $U^{-1} A U$ is diagonal.]

  Suppose that $V$ is a real vector space of even dimension $2 m$, that $Q$ is a non-singular quadratic form on $V$ and that $U$ is an $m$-dimensional subspace of $V$ on which $Q$ vanishes. What is the signature of $Q ?$

  comment

• 2.I.1G

  Linear Algebra

  Part IB, 2007

  Suppose that $S, T$ are endomorphisms of the 3-dimensional complex vector space $\mathbb{C}^{3}$ and that the eigenvalues of each of them are $1,2,3$. What are their characteristic and minimal polynomials? Are they conjugate?

  comment

• 2.II.10G

  Linear Algebra

  Part IB, 2007

  Suppose that $P$ is the complex vector space of complex polynomials in one variable, $z$.

  (i) Show that the form $\langle$, $\rangle$ defined by

  $$\langle f, g\rangle=\frac{1}{2 \pi} \int_{0}^{2 \pi} f\left(e^{i \theta}\right) \cdot \overline{g\left(e^{i \theta}\right)} d \theta$$

  is a positive definite Hermitian form on $P$.

  (ii) Find an orthonormal basis of $P$ for this form, in terms of the powers of $z$.

  (iii) Generalize this construction to complex vector spaces of complex polynomials in any finite number of variables.

  comment

• 3.II.10G

  Linear Algebra

  Part IB, 2007

  (i) Define the terms row-rank, column-rank and rank of a matrix, and state a relation between them.

  (ii) Fix positive integers $m, n, p$ with $m, n \geqslant p$. Suppose that $A$ is an $m \times p$ matrix and $B$ a $p \times n$ matrix. State and prove the best possible upper bound on the rank of the product $A B$.

  comment

• 4.I.1G

  Linear Algebra

  Part IB, 2007

  Suppose that $\alpha: V \rightarrow W$ is a linear map of finite-dimensional complex vector spaces. What is the dual map $\alpha^{*}$ of the dual vector spaces?

  Suppose that we choose bases of $V, W$ and take the corresponding dual bases of the dual vector spaces. What is the relation between the matrices that represent $\alpha$ and $\alpha^{*}$ with respect to these bases? Justify your answer.

  comment

• 4.II.10G

  Linear Algebra

  Part IB, 2007

  (i) State and prove the Cayley-Hamilton theorem for square complex matrices.

  (ii) A square matrix $A$ is of order $n$ for a strictly positive integer $n$ if $A^{n}=I$ and no smaller positive power of $A$ is equal to $I$.

  Determine the order of a complex $2 \times 2$ matrix $A$ of trace zero and determinant 1 .

  comment

• 1.II.10G

  Groups, Rings and Modules

  Part IB, 2007

  (i) State a structure theorem for finitely generated abelian groups.

  (ii) If $K$ is a field and $f$ a polynomial of degree $n$ in one variable over $K$, what is the maximal number of zeroes of $f$ ? Justify your answer in terms of unique factorization in some polynomial ring, or otherwise.

  (iii) Show that any finite subgroup of the multiplicative group of non-zero elements of a field is cyclic. Is this true if the subgroup is allowed to be infinite?

  comment

• 3.I.1G

  Groups, Rings and Modules

  Part IB, 2007

  What are the orders of the groups $G L_{2}\left(\mathbb{F}_{p}\right)$ and $S L_{2}\left(\mathbb{F}_{p}\right)$ where $\mathbb{F}_{p}$ is the field of $p$ elements?

  comment

• 3.II.11G

  Groups, Rings and Modules

  Part IB, 2007

  (i) State the Sylow theorems for Sylow $p$-subgroups of a finite group.

  (ii) Write down one Sylow 3-subgroup of the symmetric group $S_{5}$ on 5 letters. Calculate the number of Sylow 3-subgroups of $S_{5}$.

  comment

• 2.I.2G

  Groups, Rings and Modules

  Part IB, 2007

  Define the term Euclidean domain.

  Show that the ring of integers $\mathbb{Z}$ is a Euclidean domain.

  comment

• 2.II.11G

  Groups, Rings and Modules

  Part IB, 2007

  (i) Give an example of a Noetherian ring and of a ring that is not Noetherian. Justify your answers.

  (ii) State and prove Hilbert's basis theorem.

  comment

• 4.I.2G

  Groups, Rings and Modules

  Part IB, 2007

  If $p$ is a prime, how many abelian groups of order $p^{4}$ are there, up to isomorphism?

  comment

• 4.II.11G

  Groups, Rings and Modules

  Part IB, 2007

  A regular icosahedron has 20 faces, 12 vertices and 30 edges. The group $G$ of its rotations acts transitively on the set of faces, on the set of vertices and on the set of edges.

  (i) List the conjugacy classes in $G$ and give the size of each.

  (ii) Find the order of $G$ and list its normal subgroups.

  [A normal subgroup of $G$ is a union of conjugacy classes in $G$.]

  comment

• 1.I.2A

  Geometry

  Part IB, 2007

  State the Gauss-Bonnet theorem for spherical triangles, and deduce from it that for each convex polyhedron with $F$ faces, $E$ edges, and $V$ vertices, $F-E+V=2$.

  comment

• 2.II.12A

  Geometry

  Part IB, 2007

  (i) The spherical circle with centre $P \in S^{2}$ and radius $r, 0<r<\pi$, is the set of all points on the unit sphere $S^{2}$ at spherical distance $r$ from $P$. Find the circumference of a spherical circle with spherical radius $r$. Compare, for small $r$, with the formula for a Euclidean circle and comment on the result.

  (ii) The cross ratio of four distinct points $z_{i}$ in $\mathbf{C}$ is

  $$\frac{\left(z_{4}-z_{1}\right)\left(z_{2}-z_{3}\right)}{\left(z_{4}-z_{3}\right)\left(z_{2}-z_{1}\right)} .$$

  Show that the cross-ratio is a real number if and only if $z_{1}, z_{2}, z_{3}, z_{4}$ lie on a circle or a line.

  [You may assume that Möbius transformations preserve the cross-ratio.]

  comment

• 3.I $2 \mathrm{~A} \quad$

  Geometry

  Part IB, 2007

  Let $l$ be a line in the Euclidean plane $\mathbf{R}^{2}$ and $P$ a point on $l$. Denote by $\rho$ the reflection in $l$ and by $\tau$ the rotation through an angle $\alpha$ about $P$. Describe, in terms of $l, P$, and $\alpha$, a line fixed by the composition $\tau \rho$ and show that $\tau \rho$ is a reflection.

  comment

• 3.II.12A

  Geometry

  Part IB, 2007

  For a parameterized smooth embedded surface $\sigma: V \rightarrow U \subset \mathbf{R}^{3}$, where $V$ is an open domain in $\mathbf{R}^{2}$, define the first fundamental form, the second fundamental form, and the Gaussian curvature $K$. State the Gauss-Bonnet formula for a compact embedded surface $S \subset \mathbf{R}^{3}$ having Euler number $e(S)$.

  Let $S$ denote a surface defined by rotating a curve

  $$\eta(u)=(r+a \sin u, 0, b \cos u) \quad 0 \leq u \leq 2 \pi$$

  about the $z$-axis. Here $a, b, r$ are positive constants, such that $a^{2}+b^{2}=1$ and $a<r$. By considering a smooth parameterization, find the first fundamental form and the second fundamental form of $S$.

  comment

• 4.II.12A

  Geometry

  Part IB, 2007

  Write down the Riemannian metric for the upper half-plane model $\mathbf{H}$ of the hyperbolic plane. Describe, without proof, the group of isometries of $\mathbf{H}$ and the hyperbolic lines (i.e. the geodesics) on $\mathbf{H}$.

  Show that for any two hyperbolic lines $\ell_{1}, \ell_{2}$, there is an isometry of $\mathbf{H}$ which maps $\ell_{1}$ onto $\ell_{2}$.

  Suppose that $g$ is a composition of two reflections in hyperbolic lines which are ultraparallel (i.e. do not meet either in the hyperbolic plane or at its boundary). Show that $g$ cannot be an element of finite order in the group of isometries of $\mathbf{H}$.

  [Existence of a common perpendicular to two ultraparallel hyperbolic lines may be assumed. You might like to choose carefully which hyperbolic line to consider as a common perpendicular.]

  comment

• 1.II.11H

  Analysis II

  Part IB, 2007

  Define what it means for a function $f: \mathbb{R}^{a} \rightarrow \mathbb{R}^{b}$ to be differentiable at a point $p \in \mathbb{R}^{a}$ with derivative a linear map $\left.D f\right|_{p} .$

  State the Chain Rule for differentiable maps $f: \mathbb{R}^{a} \rightarrow \mathbb{R}^{b}$ and $g: \mathbb{R}^{b} \rightarrow \mathbb{R}^{c}$. Prove the Chain Rule.

  Let $\|x\|$ denote the standard Euclidean norm of $x \in \mathbb{R}^{a}$. Find the partial derivatives $\frac{\partial f}{\partial x_{i}}$ of the function $f(x)=\|x\|$ where they exist.

  comment

• $2 . \mathrm{I} . 3 \mathrm{H}$

  Analysis II

  Part IB, 2007

  For integers $a$ and $b$, define $d(a, b)$ to be 0 if $a=b$, or $\frac{1}{2^{n}}$ if $a \neq b$ and $n$ is the largest non-negative integer such that $a-b$ is a multiple of $2^{n}$. Show that $d$ is a metric on the integers $\mathbb{Z}$.

  Does the sequence $x_{n}=2^{n}-1$ converge in this metric?

  comment

• 2.II.13H

  Analysis II

  Part IB, 2007

  Show that the limit of a uniformly convergent sequence of real valued continuous functions on $[0,1]$ is continuous on $[0,1]$.

  Let $f_{n}$ be a sequence of continuous functions on $[0,1]$ which converge point-wise to a continuous function. Suppose also that the integrals $\int_{0}^{1} f_{n}(x) d x$ converge to $\int_{0}^{1} f(x) d x$. Must the functions $f_{n}$ converge uniformly to $f ?$ Prove or give a counterexample.

  Let $f_{n}$ be a sequence of continuous functions on $[0,1]$ which converge point-wise to a function $f$. Suppose that $f$ is integrable and that the integrals $\int_{0}^{1} f_{n}(x) d x$ converge to $\int_{0}^{1} f(x) d x$. Is the limit $f$ necessarily continuous? Prove or give a counterexample.

  comment

• $3 . \mathrm{I} . 3 \mathrm{H}$

  Analysis II

  Part IB, 2007

  Define uniform continuity for a real-valued function on an interval in the real line. Is a uniformly continuous function on the real line necessarily bounded?

  Which of the following functions are uniformly continuous on the real line?

  (i) $f(x)=x \sin x$,

  (ii) $f(x)=e^{-x^{4}}$.

  Justify your answers.

  comment

• $3 . \mathrm{II} . 13 \mathrm{H}$

  Analysis II

  Part IB, 2007

  Let $V$ be the real vector space of continuous functions $f:[0,1] \rightarrow \mathbb{R}$. Show that defining

  $$\|f\|=\int_{0}^{1}|f(x)| d x$$

  makes $V$ a normed vector space.

  Define $f_{n}(x)=\sin n x$ for positive integers $n$. Is the sequence $\left(f_{n}\right)$ convergent to some element of $V$ ? Is $\left(f_{n}\right)$ a Cauchy sequence in $V$ ? Justify your answers.

  comment

• 4.I.3H

  Analysis II

  Part IB, 2007

  Define uniform convergence for a sequence $f_{1}, f_{2}, \ldots$ of real-valued functions on the interval $(0,1)$.

  For each of the following sequences of functions on $(0,1)$, find the pointwise limit function. Which of these sequences converge uniformly on $(0,1)$ ?

  (i) $f_{n}(x)=\log \left(x+\frac{1}{n}\right)$,

  (ii) $f_{n}(x)=\cos \left(\frac{x}{n}\right)$.

  Justify your answers.

  comment

• 4.II.13H

  Analysis II

  Part IB, 2007

  State and prove the Contraction Mapping Theorem.

  Find numbers $a$ and $b$, with $a<0<b$, such that the mapping $T: C[a, b] \rightarrow C[a, b]$ defined by

  $$T(f)(x)=1+\int_{0}^{x} 3 t f(t) d t$$

  is a contraction, in the sup norm on $C[a, b]$. Deduce that the differential equation

  $$\frac{d y}{d x}=3 x y, \quad \text { with } y=1 \text { when } x=0,$$

  has a unique solution in some interval containing 0 .

  comment

• 1.II.12A

  Metric and Topological Spaces

  Part IB, 2007

  Let $X$ and $Y$ be topological spaces. Define the product topology on $X \times Y$ and show that if $X$ and $Y$ are Hausdorff then so is $X \times Y$.

  Show that the following statements are equivalent.

  (i) $X$ is a Hausdorff space.

  (ii) The diagonal $\Delta=\{(x, x): x \in X\}$ is a closed subset of $X \times X$, in the product topology.

  (iii) For any topological space $Y$ and any continuous maps $f, g: Y \rightarrow X$, the set $\{y \in Y: f(y)=g(y)\}$ is closed in $Y$.

  comment

• 2.I.4A

  Metric and Topological Spaces

  Part IB, 2007

  Are the following statements true or false? Give a proof or a counterexample as appropriate.

  (i) If $f: X \rightarrow Y$ is a continuous map of topological spaces and $S \subseteq X$ is compact then $f(S)$ is compact.

  (ii) If $f: X \rightarrow Y$ is a continuous map of topological spaces and $K \subseteq Y$ is compact then $\left.f^{-1}(K)=\{x \in X: f(x) \in K\}\right\}$ is compact.

  (iii) If a metric space $M$ is complete and a metric space $T$ is homeomorphic to $M$ then $T$ is complete.

  comment

• 3.I.4A

  Metric and Topological Spaces

  Part IB, 2007

  (a) Let $X$ be a connected topological space such that each point $x$ of $X$ has a neighbourhood homeomorphic to $\mathbb{R}^{n}$. Prove that $X$ is path-connected.

  (b) Let $\tau$ denote the topology on $\mathbb{N}=\{1,2, \ldots\}$, such that the open sets are $\mathbb{N}$, the empty set, and all the sets $\{1,2, \ldots, n\}$, for $n \in \mathbb{N}$. Prove that any continuous map from the topological space $(\mathbb{N}, \tau)$ to the Euclidean $\mathbb{R}$ is constant.

  comment

• 4.II.14A

  Metric and Topological Spaces

  Part IB, 2007

  (a) For a subset $A$ of a topological space $X$, define the closure cl $(A)$ of $A$. Let $f: X \rightarrow Y$ be a map to a topological space $Y$. Prove that $f$ is continuous if and only if $f(c l(A)) \subseteq c l(f(A))$, for each $A \subseteq X$.

  (b) Let $M$ be a metric space. A subset $S$ of $M$ is called dense in $M$ if the closure of $S$ is equal to $M$.

  Prove that if a metric space $M$ is compact then it has a countable subset which is dense in $M$.

  comment

• 1.I.3F

  Complex Analysis or Complex Methods

  Part IB, 2007

  For the function

  $$f(z)=\frac{2 z}{z^{2}+1},$$

  determine the Taylor series of $f$ around the point $z_{0}=1$, and give the largest $r$ for which this series converges in the disc $|z-1|<r$.

  comment

• 1.II.13F

  Complex Analysis or Complex Methods

  Part IB, 2007

  By integrating round the contour $C_{R}$, which is the boundary of the domain

  $$D_{R}=\left\{z=r e^{i \theta}: 0<r<R, \quad 0<\theta<\frac{\pi}{4}\right\}$$

  evaluate each of the integrals

  $$\int_{0}^{\infty} \sin x^{2} d x, \quad \int_{0}^{\infty} \cos x^{2} d x$$

  [You may use the relations $\int_{0}^{\infty} e^{-r^{2}} d r=\frac{\sqrt{\pi}}{2}$ and $\sin t \geq \frac{2}{\pi} t$ for $\left.0 \leq t \leq \frac{\pi}{2} \cdot\right]$

  comment

• 2.II.14F

  Complex Analysis or Complex Methods

  Part IB, 2007

  Let $\Omega$ be the half-strip in the complex plane,

  $$\Omega=\left\{z=x+i y \in \mathbb{C}:-\frac{\pi}{2}<x<\frac{\pi}{2}, \quad y>0\right\}$$

  Find a conformal mapping that maps $\Omega$ onto the unit disc.

  comment

• 3.II.14H

  Complex Analysis

  Part IB, 2007

  Say that a function on the complex plane $\mathbb{C}$ is periodic if $f(z+1)=f(z)$ and $f(z+i)=f(z)$ for all $z$. If $f$ is a periodic analytic function, show that $f$ is constant.

  If $f$ is a meromorphic periodic function, show that the number of zeros of $f$ in the square $[0,1) \times[0,1)$ is equal to the number of poles, both counted with multiplicities.

  Define

  $$f(z)=\frac{1}{z^{2}}+\sum_{w}\left[\frac{1}{(z-w)^{2}}-\frac{1}{w^{2}}\right]$$

  where the sum runs over all $w=a+b i$ with $a$ and $b$ integers, not both 0 . Show that this series converges to a meromorphic periodic function on the complex plane.

  comment

• 4.I.4H

  Complex Analysis

  Part IB, 2007

  State the argument principle.

  Show that if $f$ is an analytic function on an open set $U \subset \mathbb{C}$ which is one-to-one, then $f^{\prime}(z) \neq 0$ for all $z \in U$.

  comment

• $3 . \mathrm{I} . 5 \mathrm{~F} \quad$

  Complex Methods

  Part IB, 2007

  Show that the function $\phi(x, y)=\tan ^{-1} \frac{y}{x}$ is harmonic. Find its harmonic conjugate $\psi(x, y)$ and the analytic function $f(z)$ whose real part is $\phi(x, y)$. Sketch the curves $\phi(x, y)=C$ and $\psi(x, y)=K$.

  comment

• 4.II.15F

  Complex Methods

  Part IB, 2007

  (i) Use the definition of the Laplace transform of $f(t)$ :

  $$L\{f(t)\}=F(s)=\int_{0}^{\infty} e^{-s t} f(t) d t$$

  to show that, for $f(t)=t^{n}$,

  $$L\{f(t)\}=F(s)=\frac{n !}{s^{n+1}}, \quad L\left\{e^{a t} f(t)\right\}=F(s-a)=\frac{n !}{(s-a)^{n+1}}$$

  (ii) Use contour integration to find the inverse Laplace transform of

  $$F(s)=\frac{1}{s^{2}(s+1)^{2}}$$

  (iii) Verify the result in (ii) by using the results in (i) and the convolution theorem.

  (iv) Use Laplace transforms to solve the differential equation

  $$f^{(i v)}(t)+2 f^{\prime \prime \prime}(t)+f^{\prime \prime}(t)=0$$

  subject to the initial conditions

  $$f(0)=f^{\prime}(0)=f^{\prime \prime}(0)=0, \quad f^{\prime \prime \prime}(0)=1$$

  comment

• 1.II.14D

  Methods

  Part IB, 2007

  Define the Fourier transform $\tilde{f}(k)$ of a function $f(x)$ that tends to zero as $|x| \rightarrow \infty$, and state the inversion theorem. State and prove the convolution theorem.

  Calculate the Fourier transforms of

  Hence show that

  $$\int_{-\infty}^{\infty} \frac{\sin (b k) e^{i k x}}{k\left(a^{2}+k^{2}\right)} d k=\frac{\pi \sinh (a b)}{a^{2}} e^{-a x} \quad \text { for } \quad x>b$$

  and evaluate this integral for all other (real) values of $x$.

  comment

• $2 . \mathrm{I} . 5 \mathrm{D}$

  Methods

  Part IB, 2007

  Show that a smooth function $y(x)$ that satisfies $y(0)=y^{\prime}(1)=0$ can be written as a Fourier series of the form

  $$y(x)=\sum_{n=0}^{\infty} a_{n} \sin \lambda_{n} x, \quad 0 \leqslant x \leqslant 1$$

  where the $\lambda_{n}$ should be specified. Write down an integral expression for $a_{n}$.

  Hence solve the following differential equation

  $$y^{\prime \prime}-\alpha^{2} y=x \cos \pi x$$

  with boundary conditions $y(0)=y^{\prime}(1)=0$, in the form of an infinite series.

  $$\begin{aligned} & \text { (i) } f(x)=e^{-a|x|} \text {, } \\ & \text { and }(i i) \quad g(x)= \begin{cases}1, & |x| \leqslant b \\ 0, & |x|>b .\end{cases} \end{aligned}$$

  comment

• 2.II.15D

  Methods

  Part IB, 2007

  Let $y_{0}(x)$ be a non-zero solution of the Sturm-Liouville equation

  $$L\left(y_{0} ; \lambda_{0}\right) \equiv \frac{d}{d x}\left(p(x) \frac{d y_{0}}{d x}\right)+\left(q(x)+\lambda_{0} w(x)\right) y_{0}=0$$

  with boundary conditions $y_{0}(0)=y_{0}(1)=0$. Show that, if $y(x)$ and $f(x)$ are related by

  $$L\left(y ; \lambda_{0}\right)=f$$

  with $y(x)$ satisfying the same boundary conditions as $y_{0}(x)$, then

  $$\int_{0}^{1} y_{0} f d x=0$$

  Suppose that $y_{0}$ is normalised so that

  $$\int_{0}^{1} w y_{0}^{2} d x=1$$

  and consider the problem

  $$L(y ; \lambda)=y^{3} ; \quad y(0)=y(1)=0$$

  By choosing $f$ appropriately in $(*)$ deduce that, if

  $$\lambda-\lambda_{0}=\epsilon^{2} \mu[\mu=O(1), \epsilon \ll 1], \quad \text { and } \quad y(x)=\epsilon y_{0}(x)+\epsilon^{2} y_{1}(x)$$

  then

  $$\mu=\int_{0}^{1} y_{0}^{4} d x+O(\epsilon)$$

  comment

• $3 . \mathrm{I} . 6 \mathrm{E} \quad$

  Methods

  Part IB, 2007

  Describe the method of Lagrange multipliers for finding extrema of a function $f(x, y, z)$ subject to the constraint that $g(x, y, z)=c$.

  Illustrate the method by finding the maximum and minimum values of $x y$ for points $(x, y, z)$ lying on the ellipsoid

  $$\frac{x^{2}}{a^{2}}+\frac{y^{2}}{b^{2}}+\frac{z^{2}}{c^{2}}=1$$

  with $a, b$ and $c$ all positive.

  comment

• 3.II.15E

  Methods

  Part IB, 2007

  Legendre's equation may be written

  $$\left(1-x^{2}\right) y^{\prime \prime}-2 x y^{\prime}+n(n+1) y=0 \quad \text { with } \quad y(1)=1$$

  Show that if $n$ is a positive integer, this equation has a solution $y=P_{n}(x)$ that is a polynomial of degree $n$. Find $P_{0}, P_{1}$ and $P_{2}$ explicitly.

  Write down a general separable solution of Laplace's equation, $\nabla^{2} \phi=0$, in spherical polar coordinates $(r, \theta)$. (A derivation of this result is not required.)

  Hence or otherwise find $\phi$ when

  $$\nabla^{2} \phi=0, \quad a<r<b$$

  with $\phi=\sin ^{2} \theta$ both when $r=a$ and when $r=b$.

  comment

• 4.I.5B

  Methods

  Part IB, 2007

  Show that the general solution of the wave equation

  $$\frac{\partial^{2} y}{\partial t^{2}}=c^{2} \frac{\partial^{2} y}{\partial x^{2}}$$

  where $c$ is a constant, is

  $$y=f(x+c t)+g(x-c t),$$

  where $f$ and $g$ are twice differentiable functions. Briefly discuss the physical interpretation of this solution.

  Calculate $y(x, t)$ subject to the initial conditions

  $$y(x, 0)=0 \quad \text { and } \quad \frac{\partial y}{\partial t}(x, 0)=\psi(x)$$

  comment

• 4.II.16E

  Methods

  Part IB, 2007

  Write down the Euler-Lagrange equation for extrema of the functional

  $$I=\int_{a}^{b} F\left(y, y^{\prime}\right) d x$$

  Show that a first integral of this equation is given by

  $$F-y^{\prime} \frac{\partial F}{\partial y^{\prime}}=C$$

  A road is built between two points $A$ and $B$ in the plane $z=0$ whose polar coordinates are $r=a, \theta=0$ and $r=a, \theta=\pi / 2$ respectively. Owing to congestion, the traffic speed at points along the road is $k r^{2}$ with $k$ a positive constant. If the equation describing the road is $r=r(\theta)$, obtain an integral expression for the total travel time $T$ from $A$ to $B$.

  [Arc length in polar coordinates is given by $d s^{2}=d r^{2}+r^{2} d \theta^{2}$.]

  Calculate $T$ for the circular road $r=a$.

  Find the equation for the road that minimises $T$ and determine this minimum value.

  comment

• 1.II.15B

  Quantum Mechanics

  Part IB, 2007

  The relative motion of a neutron and proton is described by the Schrödinger equation for a single particle of mass $m$ under the influence of the central potential

  $$V(r)=\left\{\begin{array}{rc} -U & r<a \\ 0 & r>a \end{array}\right.$$

  where $U$ and $a$ are positive constants. Solve this equation for a spherically symmetric state of the deuteron, which is a bound state of a proton and neutron, giving the condition on $U$ for this state to exist.

  [If $\psi$ is spherically symmetric then $\left.\nabla^{2} \psi=\frac{1}{r} \frac{d^{2}}{d r^{2}}(r \psi) .\right]$

  comment

• 2.II.16B

  Quantum Mechanics

  Part IB, 2007

  Write down the angular momentum operators $L_{1}, L_{2}, L_{3}$ in terms of the position and momentum operators, $\mathbf{x}$ and $\mathbf{p}$, and the commutation relations satisfied by $\mathbf{x}$ and $\mathbf{p}$.

  Verify the commutation relations

  $$\left[L_{i}, L_{j}\right]=i \hbar \epsilon_{i j k} L_{k}$$

  Further, show that

  $$\left[L_{i}, p_{j}\right]=i \hbar \epsilon_{i j k} p_{k}$$

  A wave-function $\Psi_{0}(r)$ is spherically symmetric. Verify that

  $$\mathbf{L} \Psi_{0}(r)=0$$

  Consider the vector function $\boldsymbol{\Phi}=\nabla \Psi_{0}(r)$. Show that $\Phi_{3}$ and $\Phi_{1} \pm i \Phi_{2}$ are eigenfunctions of $L_{3}$ with eigenvalues $0, \pm \hbar$ respectively.

  comment

• 3.I.7B

  Quantum Mechanics

  Part IB, 2007

  The quantum mechanical harmonic oscillator has Hamiltonian

  $$H=\frac{1}{2 m} p^{2}+\frac{1}{2} m \omega^{2} x^{2}$$

  and is in a stationary state of energy $<H>=E$. Show that

  $$E \geqslant \frac{1}{2 m}(\Delta p)^{2}+\frac{1}{2} m \omega^{2}(\Delta x)^{2},$$

  where $(\Delta p)^{2}=\left\langle p^{2}\right\rangle-\langle p\rangle^{2}$ and $(\Delta x)^{2}=\left\langle x^{2}\right\rangle-\langle x\rangle^{2}$. Use the Heisenberg Uncertainty Principle to show that

  $$E \geqslant \frac{1}{2} \hbar \omega$$

  comment

• 3.II.16B

  Quantum Mechanics

  Part IB, 2007

  A quantum system has a complete set of orthonormal eigenstates, $\psi_{n}(x)$, with nondegenerate energy eigenvalues, $E_{n}$, where $n=1,2,3 \ldots$ Write down the wave-function, $\Psi(x, t), t \geqslant 0$ in terms of the eigenstates.

  A linear operator acts on the system such that

  $$\begin{aligned} &A \psi_{1}=2 \psi_{1}-\psi_{2} \\ &A \psi_{2}=2 \psi_{2}-\psi_{1} \\ &A \psi_{n}=0, n \geqslant 3 \end{aligned}$$

  Find the eigenvalues of $A$ and obtain a complete set of normalised eigenfunctions, $\phi_{n}$, of $A$ in terms of the $\psi_{n}$.

  At time $t=0$ a measurement is made and it is found that the observable corresponding to $A$ has value 3. After time $t, A$ is measured again. What is the probability that the value is found to be 1 ?

  comment

• 4.I.6B

  Quantum Mechanics

  Part IB, 2007

  A particle moving in one space dimension with wave-function $\Psi(x, t)$ obeys the time-dependent Schrödinger equation. Write down the probability density, $\rho$, and current density, $j$, in terms of the wave-function and show that they obey the equation

  $$\frac{\partial j}{\partial x}+\frac{\partial \rho}{\partial t}=0$$

  The wave-function is

  $$\Psi(x, t)=\left(e^{i k x}+R e^{-i k x}\right) e^{-i E t / \hbar},$$

  where $E=\hbar^{2} k^{2} / 2 m$ and $R$ is a constant, which may be complex. Evaluate $j$.

  comment

• 1.II.16E

  Electromagnetism

  Part IB, 2007

  A steady magnetic field $\mathbf{B}(\mathbf{x})$ is generated by a current distribution $\mathbf{j}(\mathbf{x})$ that vanishes outside a bounded region $V$. Use the divergence theorem to show that

  $$\int_{V} \mathbf{j} d V=0 \quad \text { and } \quad \int_{V} x_{i} j_{k} d V=-\int_{V} x_{k} j_{i} d V$$

  Define the magnetic vector potential $\mathbf{A}(\mathbf{x})$. Use Maxwell's equations to obtain a differential equation for $\mathbf{A}(\mathbf{x})$ in terms of $\mathbf{j}(\mathbf{x})$.

  It may be shown that for an unbounded domain the equation for $\mathbf{A}(\mathbf{x})$ has solution

  $$\mathbf{A}(\mathbf{x})=\frac{\mu_{0}}{4 \pi} \int_{V} \frac{\mathbf{j}\left(\mathbf{x}^{\prime}\right)}{\left|\mathbf{x}-\mathbf{x}^{\prime}\right|} d V^{\prime}$$

  Deduce that in general the leading order approximation for $\mathbf{A}(\mathbf{x})$ as $|\mathbf{x}| \rightarrow \infty$ is

  $$\mathbf{A}=\frac{\mu_{0}}{4 \pi} \frac{\mathbf{m} \times \mathbf{x}}{|\mathbf{x}|^{3}} \quad \text { where } \quad \mathbf{m}=\frac{1}{2} \int_{V} \mathbf{x}^{\prime} \times \mathbf{j}\left(\mathbf{x}^{\prime}\right) d V^{\prime}$$

  Find the corresponding far-field expression for $\mathbf{B}(\mathbf{x})$.

  comment

• $2 . \mathrm{I} . 6 \mathrm{E} \quad$

  Electromagnetism

  Part IB, 2007

  A metal has uniform conductivity $\sigma$. A cylindrical wire with radius $a$ and length $l$ is manufactured from the metal. Show, using Maxwell's equations, that when a steady current $I$ flows along the wire the current density within the wire is uniform.

  Deduce the electrical resistance of the wire and the rate of Ohmic dissipation within it.

  Indicate briefly, and without detailed calculation, whether your results would be affected if the wire was not straight.

  comment

• 2.II.17E

  Electromagnetism

  Part IB, 2007

  If $S$ is a fixed surface enclosing a volume $V$, use Maxwell's equations to show that

  $$\frac{d}{d t} \int_{V}\left(\frac{1}{2} \epsilon_{0} E^{2}+\frac{1}{2 \mu_{0}} B^{2}\right) d V+\int_{S} \mathbf{P} \cdot \mathbf{n} d S=-\int_{V} \mathbf{j} \cdot \mathbf{E} d V$$

  where $\mathbf{P}=(\mathbf{E} \times \mathbf{B}) / \mu_{0}$. Give a physical interpretation of each term in this equation.

  Show that Maxwell's equations for a vacuum permit plane wave solutions with $\mathbf{E}=E_{0}(0,1,0) \cos (k x-\omega t)$ with $E_{0}, k$ and $\omega$ constants, and determine the relationship between $k$ and $\omega$.

  Find also the corresponding $\mathbf{B}(\mathbf{x}, t)$ and hence the time average $<\mathbf{P}>$. What does $<\mathbf{P}>$ represent in this case?

  comment

• 3.II.17E

  Electromagnetism

  Part IB, 2007

  A capacitor consists of three long concentric cylinders of radii $a, \lambda a$ and $2 a$ respectively, where $1<\lambda<2$. The inner and outer cylinders are earthed (i.e. held at zero potential); the cylinder of radius $\lambda a$ is raised to a potential $V$. Find the electrostatic potential in the regions between the cylinders and deduce the capacitance, $C(\lambda)$ per unit length, of the system.

  For $\lambda=1+\delta$ with $0<\delta \ll 1$ find $C(\lambda)$ correct to leading order in $\delta$ and comment on your result.

  Find also the value of $\lambda$ at which $C(\lambda)$ has an extremum. Is the extremum a maximum or a minimum? Justify your answer.

  comment

• 4.I $7 \mathrm{E} \quad$

  Electromagnetism

  Part IB, 2007

  Write down Faraday's law of electromagnetic induction for a moving circuit $C(t)$ in a magnetic field $\mathbf{B}(\mathbf{x}, t)$. Explain carefully the meaning of each term in the equation.

  A thin wire is bent into a circular loop of radius $a$. The loop lies in the $(x, z)$-plane at time $t=0$. It spins steadily with angular velocity $\Omega \mathbf{k}$, where $\Omega$ is a constant and $\mathbf{k}$ is a unit vector in the $z$-direction. A spatially uniform magnetic field $\mathbf{B}=B_{0}(\cos \omega t, \sin \omega t, 0)$ is applied, with $B_{0}$ and $\omega$ both constant. If the resistance of the wire is $R$, find the current in the wire at time $t$.

  comment

• 1.I.4B

  Special Relativity

  Part IB, 2007

  Write down the position four-vector. Suppose this represents the position of a particle with rest mass $M$ and velocity v. Show that the four momentum of the particle is

  $$p_{a}=(M \gamma c, M \gamma \mathbf{v})$$

  where $\gamma=\left(1-|\mathbf{v}|^{2} / c^{2}\right)^{-1 / 2}$.

  For a particle of zero rest mass show that

  $$p_{a}=(|\mathbf{p}|, \mathbf{p})$$

  where $\mathbf{p}$ is the three momentum.

  comment

• 2.I.7B

  Special Relativity

  Part IB, 2007

  A particle in inertial frame $S$ has coordinates $(t, x)$, whilst the coordinates are $\left(t^{\prime}, x^{\prime}\right)$ in frame $S^{\prime}$, which moves with relative velocity $v$ in the $x$ direction. What is the relationship between the coordinates of $S$ and $S^{\prime}$ ?

  Frame $S^{\prime \prime}$, with cooordinates $\left(t^{\prime \prime}, x^{\prime \prime}\right)$, moves with velocity $u$ with respect to $S^{\prime}$ and velocity $V$ with respect to $S$. Derive the relativistic formula for $V$ in terms of $u$ and $v$. Show how the Newtonian limit is recovered.

  comment

• 4.II.17B

  Special Relativity

  Part IB, 2007

  (a) A moving $\pi^{0}$ particle of rest-mass $m_{\pi}$ decays into two photons of zero rest-mass,

  $$\pi^{0} \rightarrow \gamma+\gamma$$

  Show that

  $$\sin \frac{\theta}{2}=\frac{m_{\pi} c^{2}}{2 \sqrt{E_{1} E_{2}}}$$

  where $\theta$ is the angle between the three-momenta of the two photons and $E_{1}, E_{2}$ are their energies.

  (b) The $\pi^{-}$particle of rest-mass $m_{\pi}$ decays into an electron of rest-mass $m_{e}$ and a neutrino of zero rest mass,

  $$\pi^{-} \rightarrow e^{-}+\nu .$$

  Show that $v$, the speed of the electron in the rest frame of the $\pi^{-}$, is

  $$v=c\left[\frac{1-\left(m_{e} / m_{\pi}\right)^{2}}{1+\left(m_{e} / m_{\pi}\right)^{2}}\right]$$

  comment

• 1.I.5D

  Fluid Dynamics

  Part IB, 2007

  A steady two-dimensional velocity field is given by

  $$\mathbf{u}(x, y)=(\alpha x-\beta y, \beta x-\alpha y), \quad \alpha>0, \quad \beta>0$$

  (i) Calculate the vorticity of the flow.

  (ii) Verify that $\mathbf{u}$ is a possible flow field for an incompressible fluid, and calculate the stream function.

  (iii) Show that the streamlines are bounded if and only if $\alpha<\beta$.

  (iv) What are the streamlines in the case $\alpha=\beta ?$

  comment

• 1.II.17D

  Fluid Dynamics

  Part IB, 2007

  Write down the Euler equation for the steady motion of an inviscid, incompressible fluid in a constant gravitational field. From this equation, derive (a) Bernoulli's equation and (b) the integral form of the momentum equation for a fixed control volume $V$ with surface $S$.

  (i) A circular jet of water is projected vertically upwards with speed $U_{0}$ from a nozzle of cross-sectional area $A_{0}$ at height $z=0$. Calculate how the speed $U$ and crosssectional area $A$ of the jet vary with $z$, for $z \ll U_{0}^{2} / 2 g$.

  (ii) A circular jet of speed $U$ and cross-sectional area $A$ impinges axisymmetrically on the vertex of a cone of semi-angle $\alpha$, spreading out to form an almost parallel-sided sheet on the surface. Choose a suitable control volume and, neglecting gravity, show that the force exerted by the jet on the cone is

  $$\rho A U^{2}(1-\cos \alpha)$$

  (iii) A cone of mass $M$ is supported, axisymmetrically and vertex down, by the jet of part (i), with its vertex at height $z=h$, where $h \ll U_{0}^{2} / 2 g$. Assuming that the result of part (ii) still holds, show that $h$ is given by

  $$\rho A_{0} U_{0}^{2}\left(1-\frac{2 g h}{U_{0}^{2}}\right)^{\frac{1}{2}}(1-\cos \alpha)=M g$$

  comment

• 2.I.8D

  Fluid Dynamics

  Part IB, 2007

  An incompressible, inviscid fluid occupies the region beneath the free surface $y=\eta(x, t)$ and moves with a velocity field given by the velocity potential $\phi(x, y, t)$; gravity acts in the $-y$ direction. Derive the kinematic and dynamic boundary conditions that must be satisfied by $\phi$ on $y=\eta(x, t)$.

  [You may assume Bernoulli's integral of the equation of motion:

  $$\left.\frac{p}{\rho}+\frac{\partial \phi}{\partial t}+\frac{1}{2}|\nabla \phi|^{2}+g y=F(t) .\right]$$

  In the absence of waves, the fluid has uniform velocity $U$ in the $x$ direction. Derive the linearised form of the above boundary conditions for small amplitude waves, and verify that they and Laplace's equation are satisfied by the velocity potential

  $$\phi=U x+\operatorname{Re}\left\{b e^{k y} e^{i(k x-\omega t)}\right\}$$

  where $|k b| \ll U$, with a corresponding expression for $\eta$, as long as

  $$(\omega-k U)^{2}=g k$$

  What are the propagation speeds of waves with a given wave-number $k ?$

  comment

• $3 . \mathrm{II} . 18 \mathrm{D}$

  Fluid Dynamics

  Part IB, 2007

  Given that the circulation round every closed material curve in an inviscid, incompressible fluid remains constant in time, show that the velocity field of such a fluid started from rest can be written as the gradient of a potential, $\phi$, that satisfies Laplace's equation.

  A rigid sphere of radius a moves in a straight line at speed $U$ in a fluid that is at rest at infinity. Using axisymmetric spherical polar coordinates $(r, \theta)$, with $\theta=0$ in the direction of motion, write down the boundary conditions on $\phi$ and, by looking for a solution of the form $\phi=f(r) \cos \theta$, show that the velocity potential is given by

  $$\phi=\frac{-U a^{3} \cos \theta}{2 r^{2}}$$

  Calculate the kinetic energy of the fluid.

  A rigid sphere of radius $a$ and uniform density $\rho_{b}$ is submerged in an infinite fluid of density $\rho$, under the action of gravity. Show that, when the sphere is released from rest, its initial upwards acceleration is

  $$\frac{2\left(\rho-\rho_{b}\right) g}{\rho+2 \rho_{b}}$$

  [Laplace's equation for an axisymmetric scalar field in spherical polars is:

  $$\left.\frac{1}{r^{2}} \frac{\partial}{\partial r}\left(r^{2} \frac{\partial \phi}{\partial r}\right)+\frac{1}{r^{2} \sin \theta} \frac{\partial}{\partial \theta}\left(\sin \theta \frac{\partial \phi}{\partial \theta}\right)=0 .\right]$$

  comment

• 4.II.18D

  Fluid Dynamics

  Part IB, 2007

  Starting from Euler's equation for an inviscid, incompressible fluid in the absence of body forces,

  $$\frac{\partial \mathbf{u}}{\partial t}+(\mathbf{u} . \nabla) \mathbf{u}=-\frac{1}{\rho} \nabla p$$

  derive the equation for the vorticity $\boldsymbol{\omega}=\nabla_{\wedge} \mathbf{u}$.

  [You may assume that $\left.\nabla_{\wedge}\left(\mathbf{a}_{\wedge} \mathbf{b}\right)=\mathbf{a} \nabla \cdot \mathbf{b}-\mathbf{b} \nabla \cdot \mathbf{a}+(\mathbf{b} . \nabla) \mathbf{a}-(\mathbf{a} . \nabla) \mathbf{b} .\right]$

  Show that, in a two-dimensional flow, vortex lines keep their strength and move with the fluid.

  Show that a two-dimensional flow driven by a line vortex of circulation $\Gamma$ at distance $b$ from a rigid plane wall is the same as if the wall were replaced by another vortex of circulation $-\Gamma$ at the image point, distance $b$ from the wall on the other side. Deduce that the first vortex will move at speed $\Gamma / 4 \pi b$ parallel to the wall.

  A line vortex of circulation $\Gamma$ moves in a quarter-plane, bounded by rigid plane walls at $x=0, y>0$ and $y=0, x>0$. Show that the vortex follows a trajectory whose equation in plane polar coordinates is $r \sin 2 \theta=$ constant.

  comment

• 1.I.6F

  Numerical Analysis

  Part IB, 2007

  Solve the least squares problem

  $$\left[\begin{array}{ll} 1 & 3 \\ 0 & 2 \\ 0 & 2 \\ 0 & 1 \end{array}\right]\left[\begin{array}{l} x_{1} \\ x_{2} \end{array}\right]=\left[\begin{array}{r} 4 \\ 1 \\ 4 \\ -1 \end{array}\right]$$

  using $Q R$ method with Householder transformation. (A solution using normal equations is not acceptable.)

  comment

• 2.II.18F

  Numerical Analysis

  Part IB, 2007

  For a symmetric, positive definite matrix $A$ with the spectral radius $\rho(A)$, the linear system $A x=b$ is solved by the iterative procedure

  $$x^{(k+1)}=x^{(k)}-\tau\left(A x^{(k)}-b\right), \quad k \geq 0$$

  where $\tau$ is a real parameter. Find the range of $\tau$ that guarantees convergence of $x^{(k)}$ to the exact solution for any choice of $x^{(0)}$.

  comment

• 3.II.19F

  Numerical Analysis

  Part IB, 2007

  Prove that the monic polynomials $Q_{n}, n \geq 0$, orthogonal with respect to a given weight function $w(x)>0$ on $[a, b]$, satisfy the three-term recurrence relation

  $$Q_{n+1}(x)=\left(x-a_{n}\right) Q_{n}(x)-b_{n} Q_{n-1}(x), \quad n \geq 0$$

  where $Q_{-1}(x) \equiv 0, Q_{0}(x) \equiv 1$. Express the values $a_{n}$ and $b_{n}$ in terms of $Q_{n}$ and $Q_{n-1}$ and show that $b_{n}>0$.

  comment

• 4.I.8F

  Numerical Analysis

  Part IB, 2007

  Given $f \in C^{3}[0,2]$, we approximate $f^{\prime}(0)$ by the linear combination

  $$\mu(f)=-\frac{3}{2} f(0)+2 f(1)-\frac{1}{2} f(2)$$

  Using the Peano kernel theorem, determine the least constant $c$ in the inequality

  $$\left|f^{\prime}(0)-\mu(f)\right| \leq c\left\|f^{\prime \prime \prime}\right\|_{\infty},$$

  and give an example of $f$ for which the inequality turns into equality.

  comment

• 1.I.7C

  Statistics

  Part IB, 2007

  Let $X_{1}, \ldots, X_{n}$ be independent, identically distributed random variables from the $N\left(\mu, \sigma^{2}\right)$ distribution where $\mu$ and $\sigma^{2}$ are unknown. Use the generalized likelihood-ratio test to derive the form of a test of the hypothesis $H_{0}: \mu=\mu_{0}$ against $H_{1}: \mu \neq \mu_{0}$.

  Explain carefully how the test should be implemented.

  comment

• 1.II.18C

  Statistics

  Part IB, 2007

  Let $X_{1}, \ldots, X_{n}$ be independent, identically distributed random variables with

  $$\mathbb{P}\left(X_{i}=1\right)=\theta=1-\mathbb{P}\left(X_{i}=0\right)$$

  where $\theta$ is an unknown parameter, $0<\theta<1$, and $n \geqslant 2$. It is desired to estimate the quantity $\phi=\theta(1-\theta)=n \operatorname{Var}\left(\left(X_{1}+\cdots+X_{n}\right) / n\right)$.

  (i) Find the maximum-likelihood estimate, $\hat{\phi}$, of $\phi$.

  (ii) Show that $\hat{\phi}_{1}=X_{1}\left(1-X_{2}\right)$ is an unbiased estimate of $\phi$ and hence, or otherwise, obtain an unbiased estimate of $\phi$ which has smaller variance than $\hat{\phi}_{1}$ and which is a function of $\hat{\phi}$.

  (iii) Now suppose that a Bayesian approach is adopted and that the prior distribution for $\theta, \pi(\theta)$, is taken to be the uniform distribution on $(0,1)$. Compute the Bayes point estimate of $\phi$ when the loss function is $L(\phi, a)=(\phi-a)^{2}$.

  [You may use that fact that when $r, s$ are non-negative integers,

  $$\left.\int_{0}^{1} x^{r}(1-x)^{s} d x=r ! s ! /(r+s+1) !\right]$$

  comment

• 2.II.19C

  Statistics

  Part IB, 2007

  State and prove the Neyman-Pearson lemma.

  Suppose that $X$ is a random variable drawn from the probability density function

  $$f(x \mid \theta)=\frac{1}{2}|x|^{\theta-1} e^{-|x|} / \Gamma(\theta), \quad-\infty<x<\infty$$

  where $\Gamma(\theta)=\int_{0}^{\infty} y^{\theta-1} e^{-y} d y$ and $\theta \geqslant 1$ is unknown. Find the most powerful test of size $\alpha$, $0<\alpha<1$, of the hypothesis $H_{0}: \theta=1$ against the alternative $H_{1}: \theta=2$. Express the power of the test as a function of $\alpha$.

  Is your test uniformly most powerful for testing $H_{0}: \theta=1$ against $H_{1}: \theta>1 ?$ Explain your answer carefully.

  comment

• 3.I.8C

  Statistics

  Part IB, 2007

  Light bulbs are sold in packets of 3 but some of the bulbs are defective. A sample of 256 packets yields the following figures for the number of defectives in a packet:

  \begin{tabular}{l|cccc} No. of defectives & 0 & 1 & 2 & 3 \ \hline No. of packets & 116 & 94 & 40 & 6 \end{tabular}

  Test the hypothesis that each bulb has a constant (but unknown) probability $\theta$ of being defective independently of all other bulbs.

  [Hint: You may wish to use some of the following percentage points:

  $\left.\begin{array}{c|ccccccccc}\text { Distribution } & \chi_{1}^{2} & \chi_{2}^{2} & \chi_{3}^{2} & \chi_{4}^{2} & t_{1} & t_{2} & t_{3} & t_{4} \\ \hline 90 \% \text { percentile } & 2 \cdot 71 & 4 \cdot 61 & 6.25 & 7 \cdot 78 & 3 \cdot 08 & 1.89 & 1 \cdot 64 & 1.53 \\ 95 \% \text { percentile } & 3.84 & 5.99 & 7 \cdot 81 & 9 \cdot 49 & 6 \cdot 31 & 2.92 & 2 \cdot 35 & 2 \cdot 13\end{array}\right]$

  comment

• 4.II.19C

  Statistics

  Part IB, 2007

  Consider the linear regression model

  $$Y_{i}=\alpha+\beta x_{i}+\epsilon_{i}, \quad 1 \leqslant i \leqslant n$$

  where $\epsilon_{1}, \ldots, \epsilon_{n}$ are independent, identically distributed $N\left(0, \sigma^{2}\right), x_{1}, \ldots, x_{n}$ are known real numbers with $\sum_{i=1}^{n} x_{i}=0$ and $\alpha, \beta$ and $\sigma^{2}$ are unknown.

  (i) Find the least-squares estimates $\widehat{\alpha}$ and $\widehat{\beta}$ of $\alpha$ and $\beta$, respectively, and explain why in this case they are the same as the maximum-likelihood estimates.

  (ii) Determine the maximum-likelihood estimate $\widehat{\sigma}^{2}$ of $\sigma^{2}$ and find a multiple of it which is an unbiased estimate of $\sigma^{2}$.

  (iii) Determine the joint distribution of $\widehat{\alpha}, \widehat{\beta}$ and $\widehat{\sigma}^{2}$.

  (iv) Explain carefully how you would test the hypothesis $H_{0}: \alpha=\alpha_{0}$ against the alternative $H_{1}: \alpha \neq \alpha_{0}$.

  comment

• 1.I.8C

  Optimization

  Part IB, 2007

  State and prove the max-flow min-cut theorem for network flows.

  comment

• 2.I.9C

  Optimization

  Part IB, 2007

  Consider the game with payoff matrix

  $$\left(\begin{array}{lll} 2 & 5 & 4 \\ 3 & 2 & 2 \\ 2 & 1 & 3 \end{array}\right)$$

  where the $(i, j)$ entry is the payoff to the row player if the row player chooses row $i$ and the column player chooses column $j$.

  Find the value of the game and the optimal strategies for each player.

  comment

• $3 . \mathrm{II} . 20 \mathrm{C}$

  Optimization

  Part IB, 2007

  State and prove the Lagrangian sufficiency theorem.

  Solve the problem

  $$\begin{array}{ll} \text { maximize } & x_{1}+3 \ln \left(1+x_{2}\right) \\ \text { subject to } \quad & 2 x_{1}+3 x_{2} \leqslant c_{1} \\ & \ln \left(1+x_{1}\right) \geqslant c_{2}, \quad x_{1} \geqslant 0, x_{2} \geqslant 0 \end{array}$$

  where $c_{1}$ and $c_{2}$ are non-negative constants satisfying $c_{1}+2 \geqslant 2 e^{c_{2}}$.

  comment

• 4.II $20 \mathrm{C}$

  Optimization

  Part IB, 2007

  Consider the linear programming problem

  $$\begin{aligned} \operatorname{minimize} \quad & 2 x_{1}-3 x_{2}-2 x_{3} \\ \text { subject to } \quad-& 2 x_{1}+2 x_{2}+4 x_{3} \leqslant 5 \\ & 4 x_{1}+2 x_{2}-5 x_{3} \leqslant 8 \\ & 5 x_{1}-4 x_{2}+\frac{1}{2} x_{3} \leqslant 5, \quad x_{i} \geqslant 0, \quad i=1,2,3 . \end{aligned}$$

  (i) After adding slack variables $z_{1}, z_{2}$ and $z_{3}$ and performing one iteration of the simplex algorithm, the following tableau is obtained.

  \begin{tabular}{c|rrrrrr|c} & $x_{1}$ & $x_{2}$ & $x_{3}$ & $z_{1}$ & $z_{2}$ & $z_{3}$ & \ \hline$x_{2}$ & $-1$ & 1 & 2 & $1 / 2$ & 0 & 0 & $5 / 2$ \ $z_{2}$ & 6 & 0 & $-9$ & $-1$ & 1 & 0 & 3 \ $z_{3}$ & 1 & 0 & $17 / 2$ & 2 & 0 & 1 & 15 \ \hline Payoff & $-1$ & 0 & 4 & $3 / 2$ & 0 & 0 & $15 / 2$ \end{tabular}

  Complete the solution of the problem.

  (ii) Now suppose that the problem is amended so that the objective function becomes

  $$2 x_{1}-3 x_{2}-5 x_{3}$$

  Find the solution of this new problem.

  (iii) Formulate the dual of the problem in (ii) and identify the optimal solution to the dual.

  comment

• 1.II.19C

  Markov Chains

  Part IB, 2007

  Consider a Markov chain $\left(X_{n}\right)_{n \geqslant 0}$ on states $\{0,1, \ldots, r\}$ with transition matrix $\left(P_{i j}\right)$, where $P_{0,0}=1=P_{r, r}$, so that 0 and $r$ are absorbing states. Let

  $$A=\left(X_{n}=0, \text { for some } n \geqslant 0\right) \text {, }$$

  be the event that the chain is absorbed in 0 . Assume that $h_{i}=\mathbb{P}\left(A \mid X_{0}=i\right)>0$ for $1 \leqslant i<r$.

  Show carefully that, conditional on the event $A,\left(X_{n}\right)_{n \geqslant 0}$ is a Markov chain and determine its transition matrix.

  Now consider the case where $P_{i, i+1}=\frac{1}{2}=P_{i, i-1}$, for $1 \leqslant i<r$. Suppose that $X_{0}=i, 1 \leqslant i<r$, and that the event $A$ occurs; calculate the expected number of transitions until the chain is first in the state 0 .

  comment

• 2.II.20C

  Markov Chains

  Part IB, 2007

  Consider a Markov chain with state space $S=\{0,1,2, \ldots\}$ and transition matrix given by

  $$P_{i, j}= \begin{cases}q p^{j-i+1} & \text { for } i \geqslant 1 \text { and } j \geqslant i-1 \\ q p^{j} & \text { for } i=0 \text { and } j \geqslant 0\end{cases}$$

  and $P_{i, j}=0$ otherwise, where $0<p=1-q<1$.

  For each value of $p, 0<p<1$, determine whether the chain is transient, null recurrent or positive recurrent, and in the last case find the invariant distribution.

  comment

• 3.I.9C

  Markov Chains

  Part IB, 2007

  Consider a Markov chain $\left(X_{n}\right)_{n \geqslant 0}$ with state space $S=\{0,1\}$ and transition matrix

  $$P=\left(\begin{array}{cc} \alpha & 1-\alpha \\ 1-\beta & \beta \end{array}\right)$$

  where $0<\alpha<1$ and $0<\beta<1$.

  Calculate $\mathbb{P}\left(X_{n}=0 \mid X_{0}=0\right)$ for each $n \geqslant 0$.

  comment

• 4.I.9C

  Markov Chains

  Part IB, 2007

  For a Markov chain with state space $S$, define what is meant by the following:

  (i) states $i, j \in S$ communicate;

  (ii) state $i \in S$ is recurrent.

  Prove that communication is an equivalence relation on $S$ and that if two states $i, j$ communicate and $i$ is recurrent then $j$ is recurrent.

  comment

• 1.I.1F

  Number Theory

  Part II, 2007

  State the prime number theorem, and Bertrand's postulate.

  Let $S$ be a finite set of prime numbers, and write $f_{s}(x)$ for the number of positive integers no larger than $x$, all of whose prime factors belong to $S$. Prove that

  $$f_{s}(x) \leqslant 2^{\#(S)} \sqrt{x}$$

  where $\#(S)$ denotes the number of elements in $S$. Deduce that, if $x$ is a strictly positive integer, we have

  $$\pi(x) \geqslant \frac{\log x}{2 \log 2} .$$

  comment

• 2.I.1F

  Number Theory

  Part II, 2007

  Let $p$ be an odd prime number. Prove that 2 is a quadratic residue modulo $p$ when $p \equiv 7 \quad(\bmod 8)$. Deduce that, if $q$ is a prime number strictly greater than 3 with $q \equiv 3$ $(\bmod 4)$ such that $2 q+1$ is also a prime number, then $2^{q}-1$ is necessarily composite. Why does the argument break down for $q=3$ ?

  comment

• $3 . \mathrm{I} . 1 \mathrm{~F} \quad$

  Number Theory

  Part II, 2007

  Determine the continued fraction of $\sqrt{7}$. Deduce two pairs of solutions in positive integers $x, y$ of the equation

  $$x^{2}-7 y^{2}=1$$

  comment

• 3.II.11F

  Number Theory

  Part II, 2007

  State the Chinese remainder theorem. Let $n$ be an odd positive integer. If $n$ is divisible by the square of a prime number $p$, prove that there exists an integer $z$ such that $z^{p} \equiv 1(\bmod n)$ but $z \not \equiv 1(\bmod n)$.

  Define the Jacobi symbol

  $$\left(\frac{a}{n}\right)$$

  for any non-zero integer $a$. Give a numerical example to show that

  $$\left(\frac{a}{n}\right)=+1$$

  does not imply in general that $a$ is a square modulo $n$. State and prove the law of quadratic reciprocity for the Jacobi symbol.

  [You may assume the law of quadratic reciprocity for the Legendre symbol.]

  Assume now that $n$ is divisible by the square of a prime number. Prove that there exists an integer $a$ with $(a, n)=1$ such that the congruence

  $$a^{\frac{n-1}{2}} \equiv\left(\frac{a}{n}\right) \quad(\bmod n)$$

  does not hold. Show further that this congruence fails to hold for at least half of all relatively prime residue classes modulo $n$.

  comment

• 4.I.1F

  Number Theory

  Part II, 2007

  Prove Legendre's formula relating $\pi(x)$ and $\pi(\sqrt{x})$ for any positive real number $x$. Use this formula to compute $\pi(48)$.

  comment

• 4.II.11F

  Number Theory

  Part II, 2007

  Let $p$ be a prime number, and let $f(x)$ be a polynomial with integer coefficients, whose leading coefficient is not divisible by $p$. Prove that the congruence

  $$f(x) \equiv 0 \quad(\bmod p)$$

  has at most $d$ solutions, where $d$ is the degree of $f(x)$.

  Deduce that all coefficients of the polynomial

  $$x^{p-1}-1-((x-1)(x-2) \cdots(x-p+1))$$

  must be divisible by $p$, and prove that:

  (i) $(p-1) !+1 \equiv 0 \quad(\bmod p)$;

  (ii) if $p$ is odd, the numerator of the fraction

  $$u_{p}=1+\frac{1}{2}+\cdots+\frac{1}{p-1}$$

  is divisible by $p$.

  Assume now that $p \geqslant 5$. Show by example that (i) cannot be strengthened to $(p-1) !+1 \equiv 0 \quad\left(\bmod p^{2}\right)$.

  comment

• 1.I.2F

  Topics in Analysis

  Part II, 2007

  Let $n$ be an integer with $n \geqslant 1$. Are the following statements true or false? Give proofs.

  (i) There exists a real polynomial $T_{n}$ of degree $n$ such that

  $$T_{n}(\cos t)=\cos n t$$

  for all real $t$.

  (ii) There exists a real polynomial $R_{n}$ of degree $n$ such that

  $$R_{n}(\cosh t)=\cosh n t$$

  for all real $t$.

  (iii) There exists a real polynomial $S_{n}$ of degree $n$ such that

  $$S_{n}(\cos t)=\sin n t$$

  for all real $t$.

  comment

• 2.II.12F

  Topics in Analysis

  Part II, 2007

  (i) Suppose that $f:[0,1] \rightarrow \mathbb{R}$ is continuous. Prove the theorem of Bernstein which states that, if we write

  $$f_{m}(t)=\sum_{r=0}^{m}\left(\begin{array}{c} m \\ r \end{array}\right) f(r / m) t^{r}(1-t)^{m-r}$$

  for $0 \leqslant t \leqslant 1$, then $f_{m} \rightarrow f$ uniformly as $m \rightarrow \infty$

  (ii) Let $n \geqslant 1, a_{1, n}, a_{2, n}, \ldots, a_{n, n} \in \mathbb{R}$ and let $x_{1, n}, x_{2, n}, \ldots, x_{n, n}$ be distinct points in $[0,1]$. We write

  $$I_{n}(g)=\sum_{j=1}^{n} a_{j, n} g\left(x_{j, n}\right)$$

  for every continuous function $g:[0,1] \rightarrow \mathbb{R}$. Show that, if

  $$I_{n}(P)=\int_{0}^{1} P(t) d t$$

  for all polynomials $P$ of degree $2 n-1$ or less, then $a_{j, n} \geqslant 0$ for all $1 \leqslant j \leqslant n$ and $\sum_{j=1}^{n} a_{j, n}=1 .$

  (iii) If $I_{n}$ satisfies the conditions set out in (ii), show that

  $$I_{n}(f) \rightarrow \int_{0}^{1} f(t) d t$$

  as $n \rightarrow \infty$ whenever $f:[0,1] \rightarrow \mathbb{R}$ is continuous.

  comment

• $2 . \mathrm{I} . 2 \mathrm{~F}$

  Topics in Analysis

  Part II, 2007

  Write

  $$P^{+}=\left\{(x, y) \in \mathbb{R}^{2}: x, y>0\right\} .$$

  Suppose that $K$ is a convex, compact subset of $\mathbb{R}^{2}$ with $K \cap P^{+} \neq \emptyset$. Show that there is a unique point $\left(x_{0}, y_{0}\right) \in K \cap P^{+}$such that

  $$x y \leqslant x_{0} y_{0}$$

  for all $(x, y) \in K \cap P^{+}$.

  comment

• 3.II.12F

  Topics in Analysis

  Part II, 2007

  (i) State and prove Liouville's theorem on approximation of algebraic numbers by rationals.

  (ii) Consider the continued fraction

  $$x=\frac{1}{a_{1}+\frac{1}{a_{2}+\frac{1}{a_{3}+\frac{1}{a_{4}+\ldots}}}}$$

  where the $a_{j}$ are strictly positive integers. You may assume the following algebraic facts about the $n$th convergent $p_{n} / q_{n}$.

  $$p_{n} q_{n-1}-p_{n-1} q_{n}=(-1)^{n}, \quad q_{n}=a_{n} q_{n-1}+q_{n-2} .$$

  Show that

  $$\left|\frac{p_{n}}{q_{n}}-x\right| \leqslant \frac{1}{q_{n} q_{n+1}}$$

  Give explicit values for $a_{n}$ so that $x$ is transcendental and prove that you have done SO.

  comment

• $3 . \mathrm{I} . 2 \mathrm{~F}$

  Topics in Analysis

  Part II, 2007

  State a version of Runge's theorem and use it to prove the following theorem:

  Let $D=\{z \in \mathbb{C}:|z|<1\}$ and define $f: D \rightarrow \mathbb{C}$ by the condition

  $$f\left(r e^{i \theta}\right)=r^{3 / 2} e^{3 i \theta / 2}$$

  for all $0 \leqslant r<1$ and all $0 \leqslant \theta<2 \pi$. (We take $r^{1 / 2}$ to be the positive square root.) Then there exists a sequence of analytic functions $f_{n}: D \rightarrow \mathbb{C}$ such that $f_{n}(z) \rightarrow f(z)$ for each $z \in D$ as $n \rightarrow \infty$.

  comment

• 4.I.2F

  Topics in Analysis

  Part II, 2007

  State Brouwer's fixed point theorem for a triangle in two dimensions.

  Let $A=\left(a_{i j}\right)$ be a $3 \times 3$ matrix with real positive entries and such that all its columns are non-zero vectors. Show that $A$ has an eigenvector with positive entries.

  comment

• $1 . \mathrm{I} . 3 \mathrm{G}$

  Geometry of Group Actions

  Part II, 2007

  Show that there are two ways to embed a regular tetrahedron in a cube $C$ so that the vertices of the tetrahedron are also vertices of $C$. Show that the symmetry group of $C$ permutes these tetrahedra and deduce that the symmetry group of $C$ is isomorphic to the Cartesian product $S_{4} \times C_{2}$ of the symmetric group $S_{4}$ and the cyclic group $C_{2}$.

  comment

• 1.II.12G

  Geometry of Group Actions

  Part II, 2007

  Define the Hausdorff $d$-dimensional measure $\mathcal{H}^{d}(C)$ and the Hausdorff dimension of a subset $C$ of $\mathbb{R}$.

  Set $s=\log 2 / \log 3$. Define the Cantor set $C$ and show that its Hausdorff $s$-dimensional measure is at most $1 .$

  Let $\left(X_{n}\right)$ be independent Bernoulli random variables that take the values 0 and 2 , each with probability $\frac{1}{2}$. Define

  $$\xi=\sum_{n=1}^{\infty} \frac{X_{n}}{3^{n}}$$

  Show that $\xi$ is a random variable that takes values in the Cantor set $C$.

  Let $U$ be a subset of $\mathbb{R}$ with $3^{-(k+1)} \leqslant \operatorname{diam}(U)<3^{-k}$. Show that $\mathbb{P}(\xi \in U) \leqslant 2^{-k}$ and deduce that, for any set $U \subset \mathbb{R}$, we have

  $$\mathbb{P}(\xi \in U) \leqslant 2(\operatorname{diam}(U))^{s}$$

  Hence, or otherwise, prove that $\mathcal{H}^{s}(C) \geqslant \frac{1}{2}$ and that the Cantor set has Hausdorff dimension $s$.

  comment

• 2.I.3G

  Geometry of Group Actions

  Part II, 2007

  Explain what is meant by a lattice in the Euclidean plane $\mathbb{R}^{2}$. Prove that such a lattice is either $\mathbb{Z} \boldsymbol{w}$ for some vector $\boldsymbol{w} \in \mathbb{R}^{2}$ or else $\mathbb{Z} \boldsymbol{w}_{1}+\mathbb{Z} \boldsymbol{w}_{2}$ for two linearly independent vectors $\boldsymbol{w}_{1}, \boldsymbol{w}_{2}$ in $\mathbb{R}^{2}$.

  comment

• 3.I.3G

  Geometry of Group Actions

  Part II, 2007

  Let $G$ be a 2-dimensional Euclidean crystallographic group. Define the lattice and point group corresponding to $G$.

  Prove that any non-trivial rotation in the point group of $G$ must have order $2,3,4$ or $6 .$

  comment

• 4.I $. 3 \mathrm{G}$

  Geometry of Group Actions

  Part II, 2007

  Let $\Gamma$ be a circle on the Riemann sphere. Explain what it means to say that two points of the sphere are inverse points for the circle $\Gamma$. Show that, for each point $z$ on the Riemann sphere, there is a unique point $z^{\prime}$ with $z, z^{\prime}$ inverse points. Define inversion in $\Gamma$.

  Prove that the composition of an even number of inversions is a Möbius transformation.

  comment

• 4.II.12G

  Geometry of Group Actions

  Part II, 2007

  Explain what it means to say that a group $G$ is a Kleinian group. What is the definition of the limit set for the group $G$ ? Prove that a fixed point of a parabolic element in $G$ must lie in the limit set.

  Show that the matrix $\left(\begin{array}{cc}1+a w & -a w^{2} \\ a & 1-a w\end{array}\right)$ represents a parabolic transformation for any non-zero choice of the complex numbers $a$ and $w$. Find its fixed point.

  The Gaussian integers are $\mathbb{Z}[i]=\{m+i n: m, n \in \mathbb{Z}\}$. Let $G$ be the set of Möbius transformations $z \mapsto \frac{a z+b}{c z+d}$ with $a, b, c, d \in \mathbb{Z}[i]$ and $a d-b c=1$. Prove that $G$ is a Kleinian group. For each point $w=\frac{p+i q}{r}$ with $p, q, r$ non-zero integers, find a parabolic transformation $T \in G$ that fixes $w$. Deduce that the limit set for $G$ is all of the Riemann sphere.

  comment

• 1.I.4G

  Coding and Cryptography

  Part II, 2007

  Let $\Sigma_{1}$ and $\Sigma_{2}$ be alphabets of sizes $m$ and $a$. What does it mean to say that $f: \Sigma_{1} \rightarrow \Sigma_{2}^{*}$ is a decipherable code? State the inequalities of Kraft and Gibbs, and deduce that if letters are drawn from $\Sigma_{1}$ with probabilities $p_{1}, \ldots, p_{m}$ then the expected word length is at least $H\left(p_{1}, \ldots, p_{m}\right) / \log a$.

  comment

• 2.I.4G

  Coding and Cryptography

  Part II, 2007

  Briefly explain how and why a signature scheme is used. Describe the El Gamal scheme.

  comment

• 1.II.11G

  Coding and Cryptography

  Part II, 2007

  Define the bar product $C_{1} \mid C_{2}$ of linear codes $C_{1}$ and $C_{2}$, where $C_{2}$ is a subcode of $C_{1}$. Relate the rank and minimum distance of $C_{1} \mid C_{2}$ to those of $C_{1}$ and $C_{2}$. Show that if $C^{\perp}$ denotes the dual code of $C$, then

  $$\left(C_{1} \mid C_{2}\right)^{\perp}=C_{2}^{\perp} \mid C_{1}^{\perp}$$

  Using the bar product construction, or otherwise, define the Reed-Muller code $R M(d, r)$ for $0 \leqslant r \leqslant d$. Show that if $0 \leqslant r \leqslant d-1$, then the dual of $R M(d, r)$ is again a Reed-Muller code.

  comment

• $3 . \mathrm{I} . 4 \mathrm{G} \quad$

  Coding and Cryptography

  Part II, 2007

  Compute the rank and minimum distance of the cyclic code with generator polynomial $g(X)=X^{3}+X+1$ and parity-check polynomial $h(X)=X^{4}+X^{2}+X+1$. Now let $\alpha$ be a root of $g(X)$ in the field with 8 elements. We receive the word $r(X)=X^{5}+X^{3}+X \quad\left(\bmod X^{7}-1\right)$. Verify that $r(\alpha)=\alpha^{4}$, and hence decode $r(X)$ using minimum-distance decoding.

  comment

• 2.II.11G

  Coding and Cryptography

  Part II, 2007

  Define the capacity of a discrete memoryless channel. State Shannon's second coding theorem and use it to show that the discrete memoryless channel with channel matrix

  $$\left(\begin{array}{ll} 1 & 0 \\ \frac{1}{2} & \frac{1}{2} \end{array}\right)$$

  has capacity $\log 5-2$.

  comment

• 4.I.4G

  Coding and Cryptography

  Part II, 2007

  What is a linear feedback shift register? Explain the Berlekamp-Massey method for recovering the feedback polynomial of a linear feedback shift register from its output. Illustrate in the case when we observe output

  $101011001000 \ldots \ldots$

  comment

• 1.I.5I

  Statistical Modelling

  Part II, 2007

  According to the Independent newspaper (London, 8 March 1994) the Metropolitan Police in London reported 30475 people as missing in the year ending March 1993. For those aged 18 or less, 96 of 10527 missing males and 146 of 11363 missing females were still missing a year later. For those aged 19 and above, the values were 157 of 5065 males and 159 of 3520 females. This data is summarised in the table below.

  \begin{array}{rrrrr} & \multicolumn{3}{r}{\text { age }} \\ 1 & \text { Kender } & \text { M } & 96 & 10527 \\ 2 & \text { Kid } & \text { F } & 146 & 11363 \\ 3 & \text { Adult } & \text { M } & 157 & 5065 \\ 4 & \text { Adult } & \text { F } & 159 & 3520 \end{array}

  Explain and interpret the $\mathrm{R}$ commands and (slightly abbreviated) output below. You should describe the model being fitted, explain how the standard errors are calculated, and comment on the hypothesis tests being described in the summary. In particular, what is the worst of the four categories for the probability of remaining missing a year later?

  

  For a person who was missing in the year ending in March 1993, find a formula, as a function of age and gender, for the estimated expected probability that they are still missing a year later.

  comment

• 1.II.13I

  Statistical Modelling

  Part II, 2007

  This problem deals with data collected as the number of each of two different strains of Ceriodaphnia organisms are counted in a controlled environment in which reproduction is occurring among the organisms. The experimenter places into the containers a varying concentration of a particular component of jet fuel that impairs reproduction. Hence it is anticipated that as the concentration of jet fuel grows, the mean number of organisms should decrease.

  The table below gives a subset of the data. The full dataset has $n=70$ rows. The first column provides the number of organisms, the second the concentration of jet fuel (in grams per litre) and the third specifies the strain of the organism.

  $$\begin{array}{lll} \text { number fuel } & \text { strain } \\ 82 & 0 & 1 \\ 58 & 0 & 0 \\ 45 & 0.5 & 1 \\ 27 & 0.5 & 0 \\ 29 & 0.75 & 1 \\ 15 & 1.25 & 1 \\ 6 & 1.25 & 1 \\ 8 & 1.5 & 0 \\ 4 & 1.75 & 0 \\ . & . & . \end{array}$$

  Explain and interpret the $R$ commands and (slightly abbreviated) output below. In particular, you should describe the model being fitted, explain how the standard errors are calculated, and comment on the hypothesis tests being described in the summary.

  

  The following $\mathrm{R}$ code fits two very similar models. Briefly explain the difference between these models and the one above. Motivate the fitting of these models in light of

  Part II 2007 the summary from the fit of the one above.

  

  Denote by $H_{1}, H_{2}, H_{3}$ the three hypotheses being fitted in sequence above.

  Explain the hypothesis tests, including an approximate test of the fit of $H_{1}$, that can be performed using the output from the following $\mathrm{R}$ code. Use these numbers to comment on the most appropriate model for the data.

  $>c(f i t 1 \$ d e v$, fit2$dev, fit3$dev)

  [1] $84.59557 \quad 86.37646118 .99503$

  $>\operatorname{qchisq}(0.95, \mathrm{df}=1)$

  [1] $3.841459$

  comment

• 2.I.5I

  Statistical Modelling

  Part II, 2007

  Consider the linear regression setting where the responses $Y_{i}, i=1, \ldots, n$ are assumed independent with means $\mu_{i}=x_{i}^{\mathrm{T}} \beta$. Here $x_{i}$ is a vector of known explanatory variables and $\beta$ is a vector of unknown regression coefficients.

  Show that if the response distribution is Laplace, i.e.,

  $$Y_{i} \sim f\left(y_{i} ; \mu_{i}, \sigma\right)=(2 \sigma)^{-1} \exp \left\{-\frac{\left|y_{i}-\mu_{i}\right|}{\sigma}\right\}, \quad i=1, \ldots, n ; \quad y_{i}, \mu_{i} \in \mathbb{R} ; \sigma \in(0, \infty)$$

  then the maximum likelihood estimate $\hat{\beta}$ of $\beta$ is obtained by minimising

  $$S_{1}(\beta)=\sum_{i=1}^{n}\left|Y_{i}-x_{i}^{\mathrm{T}} \beta\right|$$

  Obtain the maximum likelihood estimate for $\sigma$ in terms of $S_{1}(\hat{\beta})$.

  Briefly comment on why the Laplace distribution cannot be written in exponential dispersion family form.

  comment

• 3.I.5I

  Statistical Modelling

  Part II, 2007

  Consider two possible experiments giving rise to observed data $y_{i j}$ where $i=1, \ldots, I, j=1, \ldots, J .$

  1. The data are realizations of independent Poisson random variables, i.e.,

  $$Y_{i j} \sim f_{1}\left(y_{i j} ; \mu_{i j}\right)=\frac{\mu_{i j}^{y_{i j}}}{y_{i j} !} \exp \left\{-\mu_{i j}\right\}$$

  where $\mu_{i j}=\mu_{i j}(\beta)$, with $\beta$ an unknown (possibly vector) parameter. Write $\hat{\beta}$ for the maximum likelihood estimator (m.l.e.) of $\beta$ and $\hat{y}_{i j}=\mu_{i j}(\hat{\beta})$ for the $(i, j)$ th fitted value under this model.

  2. The data are components of a realization of a multinomial random 'vector'

  $$Y \sim f_{2}\left(\left(y_{i j}\right) ; n,\left(p_{i j}\right)\right)=n ! \prod_{i=1}^{I} \prod_{j=1}^{J} \frac{p_{i j}^{y_{i j}}}{y_{i j} !}$$

  where the $y_{i j}$ are non-negative integers with

  $$\sum_{i=1}^{I} \sum_{j=1}^{J} y_{i j}=n \quad \text { and } \quad p_{i j}(\beta)=\frac{\mu_{i j}(\beta)}{n}$$

  Write $\beta^{*}$ for the m.l.e. of $\beta$ and $y_{i j}^{*}=n p_{i j}\left(\beta^{*}\right)$ for the $(i, j)$ th fitted value under this model.

  Show that, if

  $$\sum_{i=1}^{I} \sum_{j=1}^{J} \hat{y}_{i j}=n$$

  then $\hat{\beta}=\beta^{*}$ and $\hat{y}_{i j}=y_{i j}^{*}$ for all $i, j$. Explain the relevance of this result in the context of fitting multinomial models within a generalized linear model framework.

  comment

• 4.I.5I

  Statistical Modelling

  Part II, 2007

  Consider the normal linear model $Y=X \beta+\varepsilon$ in vector notation, where

  $Y=\left(\begin{array}{c}Y_{1} \\ \vdots \\ Y_{n}\end{array}\right), \quad X=\left(\begin{array}{c}x_{1}^{\mathrm{T}} \\ \vdots \\ x_{n}^{\mathrm{T}}\end{array}\right), \quad \beta=\left(\begin{array}{c}\beta_{1} \\ \vdots \\ \beta_{p}\end{array}\right), \quad \varepsilon=\left(\begin{array}{c}\varepsilon_{1} \\ \vdots \\ \varepsilon_{n}\end{array}\right), \quad \varepsilon_{i} \sim$ i.i.d. $N\left(0, \sigma^{2}\right)$,

  where $x_{i}^{\mathrm{T}}=\left(x_{i 1}, \ldots, x_{i p}\right)$ is known and $X$ is of full rank $(p<n)$. Give expressions for maximum likelihood estimators $\hat{\beta}$ and $\hat{\sigma}^{2}$ of $\beta$ and $\sigma^{2}$ respectively, and state their joint distribution.

  Suppose that there is a new pair $\left(x^{*}, y^{*}\right)$, independent of $\left(x_{1}, y_{1}\right), \ldots,\left(x_{n}, y_{n}\right)$, satisfying the relationship

  $$y^{*}=x^{* \mathrm{~T}} \beta+\varepsilon^{*}, \quad \text { where } \quad \varepsilon^{*} \sim N\left(0, \sigma^{2}\right) .$$

  We suppose that $x^{*}$ is known, and estimate $y^{*}$ by $\tilde{y}=x^{* \mathrm{~T}} \hat{\beta}$. State the distribution of

  $$\frac{\tilde{y}-y^{*}}{\tilde{\sigma} \tau}, \quad \text { where } \quad \tilde{\sigma}^{2}=\frac{n}{n-p} \hat{\sigma}^{2} \quad \text { and } \quad \tau^{2}=x^{* \mathrm{~T}}\left(X^{\mathrm{T}} X\right)^{-1} x^{*}+1$$

  Find the form of a $(1-\alpha)$-level prediction interval for $y^{*}$.

  comment

• 4.II.13I

  Statistical Modelling

  Part II, 2007

  Let $Y$ have a Gamma distribution with density

  $$f(y ; \alpha, \lambda)=\frac{\lambda^{\alpha} y^{\alpha-1}}{\Gamma(\alpha)} e^{-\lambda y}$$

  Show that the Gamma distribution is of exponential dispersion family form. Deduce directly the corresponding expressions for $\mathbb{E}[Y]$ and $\operatorname{Var}[Y]$ in terms of $\alpha$ and $\lambda$. What is the canonical link function?

  Let $p<n$. Consider a generalised linear model (g.l.m.) for responses $y_{i}, i=1, \ldots, n$ with random component defined by the Gamma distribution with canonical link $g(\mu)$, so that $g\left(\mu_{i}\right)=\eta_{i}=x_{i}^{\mathrm{T}} \beta$, where $\beta=\left(\beta_{1}, \ldots, \beta_{p}\right)^{\mathrm{T}}$ is the vector of unknown regression coefficients and $x_{i}=\left(x_{i 1}, \ldots, x_{i p}\right)^{\mathrm{T}}$ is the vector of known values of the explanatory variables for the $i$ th observation, $i=1, \ldots, n$.

  Obtain expressions for the score function and Fisher information matrix and explain how these can be used in order to approximate $\hat{\beta}$, the maximum likelihood estimator (m.l.e.) of $\beta$.

  [Use the canonical link function and assume that the dispersion parameter is known.]

  Finally, obtain an expression for the deviance for a comparison of the full (saturated) model to the g.l.m. with canonical link using the m.l.e. $\hat{\beta}$ (or estimated mean $\hat{\mu}=X \hat{\beta})$.

  comment

• 1.I.6B

  Mathematical Biology

  Part II, 2007

  A chemostat is a well-mixed tank of given volume $V_{0}$ that contains water in which lives a population $N(t)$ of bacteria that consume nutrient whose concentration is $C(t)$ per unit volume. An inflow pipe supplies a solution of nutrient at concentration $C_{0}$ and at a constant flow rate of $Q$ units of volume per unit time. The mixture flows out at the same rate through an outflow pipe. The bacteria consume the nutrient at a rate $N K(C)$, where

  $$K(C)=\frac{K_{\max } C}{K_{0}+C}$$

  and the bacterial population grows at a rate $\gamma N K(C)$, where $0<\gamma<1$.

  Write down the differential equations for $N(t), C(t)$ and show that they can be rescaled into the following form:

  $$\begin{aligned} &\frac{d n}{d \tau}=\alpha \frac{c n}{1+c}-n \\ &\frac{d c}{d \tau}=-\frac{c n}{1+c}-c+\beta \end{aligned}$$

  where $\alpha, \beta$ are positive constants, to be found.

  Show that this system of equations has a non-trivial steady state if $\alpha>1$ and $\beta>\frac{1}{\alpha-1}$, and that it is stable.

  comment

• $2 . \mathrm{I} . 6 \mathrm{~B} \quad$

  Mathematical Biology

  Part II, 2007

  A field contains $X_{n}$ seed-producing poppies in August of year $n$. On average each poppy produces $\gamma$ seeds, a number that is assumed not to vary from year to year. A fraction $\sigma$ of seeds survive the winter and a fraction $\alpha$ of those germinate in May of year $n+1$. A fraction $\beta$ of those that survive the next winter germinate in year $n+2$. Show that $X_{n}$ satisfies the following difference equation:

  $$X_{n+1}=\alpha \sigma \gamma X_{n}+\beta \sigma^{2}(1-\alpha) \gamma X_{n-1}$$

  Write down the general solution of this equation, and show that the poppies in the field will eventually die out if

  $$\sigma \gamma[(1-\alpha) \beta \sigma+\alpha]<1$$

  comment

• 2.II.13B

  Mathematical Biology

  Part II, 2007

  Show that the concentration $C(\mathbf{x}, t)$ of a diffusible chemical substance in a stationary medium satisfies the partial differential equation

  $$\frac{\partial C}{\partial t}=\nabla \cdot(D \nabla C)+F$$

  where $D$ is the diffusivity and $F(\mathbf{x}, t)$ is the rate of supply of the chemical.

  A finite amount of the chemical, $4 \pi M$, is supplied at the origin at time $t=0$, and spreads out in a spherically symmetric manner, so that $C=C(r, t)$ for $r>0, t>0$, where $r$ is the radial coordinate. The diffusivity is given by $D=k C$, for constant $k$. Show, by dimensional analysis or otherwise, that it is appropriate to seek a similarity solution in which

  $$C=\frac{M^{\alpha}}{(k t)^{\beta}} f(\xi), \quad \xi=\frac{r}{(M k t)^{\gamma}} \quad \text { and } \quad \int_{0}^{\infty} \xi^{2} f(\xi) d \xi=1$$

  where $\alpha, \beta, \gamma$ are constants to be determined, and derive the ordinary differential equation satisfied by $f(\xi)$.

  Solve this ordinary differential equation, subject to appropriate boundary conditions, and deduce that the chemical occupies a finite spherical region of radius

  $$r_{0}(t)=(75 M k t)^{1 / 5}$$

  [Note: in spherical polar coordinates

  $$\left.\nabla C \equiv\left(\frac{\partial C}{\partial r}, 0,0\right) \quad \text { and } \quad \nabla \cdot(V(r, t), 0,0) \equiv \frac{1}{r^{2}} \frac{\partial}{\partial r}\left(r^{2} V\right) \cdot\right]$$

  comment

• 3.I.6B

  Mathematical Biology

  Part II, 2007

  Consider a birth and death process in which births always give rise to two offspring, with rate $\lambda$, while the death rate per individual is $\beta$.

  Write down the master equation (or probability balance equation) for this system.

  Show that the population mean is given by

  $$\langle n\rangle=\frac{2 \lambda}{\beta}\left(1-e^{-\beta t}\right)+n_{0} e^{-\beta t}$$

  where $n_{0}$ is the initial population mean, and that the population variance satisfies

  $$\sigma^{2} \rightarrow 3 \lambda / \beta \quad \text { as } \quad t \rightarrow \infty$$

  comment

• 3.II.13B

  Mathematical Biology

  Part II, 2007

  The number density of a population of cells is $n(\mathbf{x}, t)$. The cells produce a chemical whose concentration is $C(\mathbf{x}, t)$ and respond to it chemotactically. The equations governing $n$ and $C$ are

  $$\begin{aligned} \frac{\partial n}{\partial t} &=\gamma n\left(n_{0}-n\right)+D_{n} \nabla^{2} n-\chi \nabla \cdot(n \nabla C) \\ \frac{\partial C}{\partial t} &=\alpha n-\beta C+D_{c} \nabla^{2} C \end{aligned}$$

  (i) Give a biological interpretation of each term in these equations, where you may assume that $\alpha, \beta, \gamma, n_{0}, D_{n}, D_{c}$ and $\chi$ are all positive.

  (ii) Show that there is a steady-state solution that is stable to spatially invariant disturbances.

  (iii) Analyse small, spatially-varying perturbations to the steady state that satisfy $\nabla^{2} \phi=-k^{2} \phi$ for any variable $\phi$, and show that a chemotactic instability is possible if

  $$\chi \alpha n_{0}>\beta D_{n}+\gamma n_{0} D_{c}+\left(4 \beta \gamma n_{0} D_{n} D_{c}\right)^{1 / 2}$$

  (iv) Find the critical value of $k$ at which the instability first appears as $\chi$ is increased.

  comment

• 4.I.6B

  Mathematical Biology

  Part II, 2007

  The non-dimensional equations for two competing populations are

  $$\begin{aligned} &\frac{d u}{d t}=u(1-v)-\epsilon_{1} u^{2} \\ &\frac{d v}{d t}=\alpha\left[v(1-u)-\epsilon_{2} v^{2}\right] \end{aligned}$$

  Explain the meaning of each term in these equations.

  Find all the fixed points of this system when $\alpha>0,0<\epsilon_{1}<1$ and $0<\epsilon_{2}<1$, and investigate their stability.

  comment

• 1.I.7E

  Dynamical Systems

  Part II, 2007

  Given a non-autonomous $k$ th-order differential equation

  $$\frac{d^{k} y}{d t^{k}}=g\left(t, y, \frac{d y}{d t}, \frac{d^{2} y}{d t^{2}}, \ldots, \frac{d^{k-1} y}{d t^{k-1}}\right)$$

  with $y \in \mathbb{R}$, explain how it may be written in the autonomous first-order form $\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x})$ for suitably chosen vectors $\mathbf{x}$ and $\mathbf{f}$.

  Given an autonomous system $\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x})$ in $\mathbb{R}^{n}$, define the corresponding flow $\boldsymbol{\phi}_{t}(\mathbf{x})$. What is $\phi_{s}\left(\phi_{t}(\mathbf{x})\right)$ equal to? Define the orbit $\mathcal{O}(\mathbf{x})$ through $\mathbf{x}$ and the limit set $\omega(\mathbf{x})$ of $\mathbf{x}$. Define a homoclinic orbit.

  comment

• 3.II.14E

  Dynamical Systems

  Part II, 2007

  The Lorenz equations are

  $$\begin{aligned} &\dot{x}=\sigma(y-x) \\ &\dot{y}=r x-y-x z \\ &\dot{z}=x y-b z \end{aligned}$$

  where $r, \sigma$ and $b$ are positive constants and $(x, y, z) \in \mathbb{R}^{3}$.

  (i) Show that the origin is globally asymptotically stable for $0<r<1$ by considering a function $V(x, y, z)=\frac{1}{2}\left(x^{2}+A y^{2}+B z^{2}\right)$ with a suitable choice of constants $A$ and $B$

  (ii) State, without proof, the Centre Manifold Theorem.

  Show that the fixed point at the origin is nonhyperbolic at $r=1$. What are the dimensions of the linear stable and (non-extended) centre subspaces at this point?

  (iii) Let $\sigma=1$ from now on. Make the substitutions $u=x+y, v=x-y$ and $\mu=r-1$ and derive the resulting equations for $\dot{u}, \dot{v}$ and $\dot{z}$.

  The extended centre manifold is given by

  $$v=V(u, \mu), \quad z=Z(u, \mu)$$

  where $V$ and $Z$ can be expanded as power series about $u=\mu=0$. What is known about $V$ and $Z$ from the Centre Manifold Theorem? Assuming that $\mu=O\left(u^{2}\right)$, determine $Z$ correct to $O\left(u^{2}\right)$ and $V$ to $O\left(u^{3}\right)$. Hence obtain the evolution equation on the extended centre manifold correct to $O\left(u^{3}\right)$, and identify the type of bifurcation.

  comment

• 2.I.7E

  Dynamical Systems

  Part II, 2007

  Find and classify the fixed points of the system

  $$\begin{aligned} &\dot{x}=\left(1-x^{2}\right) y \\ &\dot{y}=x\left(1-y^{2}\right) \end{aligned}$$

  What are the values of their Poincaré indices? Prove that there are no periodic orbits. Sketch the phase plane.

  comment

• 4.II.14E

  Dynamical Systems

  Part II, 2007

  Consider the one-dimensional map $F: \mathbb{R} \rightarrow \mathbb{R}$ defined by

  $$x_{i+1}=F\left(x_{i}\right)=x_{i}\left(a x_{i}^{2}+b x_{i}+\mu\right)$$

  where $a$ and $b$ are constants, $\mu$ is a parameter and $a \neq 0$.

  (i) Find the fixed points of $F$ and determine the linear stability of $x=0$. Hence show that there are bifurcations at $\mu=1$, at $\mu=-1$ and, if $b \neq 0$, at $\mu=1+b^{2} / 4 a$.

  Sketch the bifurcation diagram for each of the cases:

  $$\text { (1) } a>b=0, \quad \text { (2) } a, b>0 \text { and (3) } a, b<0$$

  In each case show the locus and stability of the fixed points in the $(\mu, x)$-plane, and state the type of each bifurcation. [Assume that there are no further bifurcations in the region sketched.]

  (ii) For the case $F(x)=x\left(\mu-x^{2}\right)$ (i.e. $\left.a=-1, b=0\right)$, you may assume that

  $$F^{2}(x)=x+x\left(\mu-1-x^{2}\right)\left(\mu+1-x^{2}\right)\left(1-\mu x^{2}+x^{4}\right)$$

  Show that there are at most three 2-cycles and determine when they exist. By considering $F^{\prime}\left(x_{i}\right) F^{\prime}\left(x_{i+1}\right)$, or otherwise, show further that one 2-cycle is always unstable when it exists and that the others are unstable when $\mu>\sqrt{5}$. Sketch the bifurcation diagram showing the locus and stability of the fixed points and 2 -cycles. State briefly what you would expect to occur in the region $\mu>\sqrt{5}$.

  comment

• 3.I.7E

  Dynamical Systems

  Part II, 2007

  State the Poincaré-Bendixson Theorem for a system $\dot{\mathbf{x}}=\mathbf{f}(\mathbf{x})$ in $\mathbb{R}^{2}$.

  Prove that if $k^{2}<4$ then the system

  $$\begin{aligned} &\dot{x}=x-y-x^{3}-x y^{2}-k^{2} x y^{2} \\ &\dot{y}=y+x-x^{2} y-y^{3}-k^{2} x^{2} y \end{aligned}$$

  has a periodic orbit in the region $2 /\left(2+k^{2}\right) \leqslant x^{2}+y^{2} \leqslant 1$.

  comment

• 4.I.7E

  Dynamical Systems

  Part II, 2007

  By considering the binary representation of the sawtooth $\operatorname{map}, F(x)=2 x[\bmod 1]$ for $x \in[0,1)$, show that:

  (i) $F$ has sensitive dependence on initial conditions on $[0,1)$.

  (ii) $F$ has topological transitivity on $[0,1)$.

  (iii) Periodic points are dense in $[0,1)$.

  Find all the 4-cycles of $F$ and express them as fractions.

  comment

• 1.I.8B

  Further Complex Methods

  Part II, 2007

  The coefficients $p(z)$ and $q(z)$ of the differential equation

  $$w^{\prime \prime}(z)+p(z) w^{\prime}(z)+q(z) w(z)=0$$

  are analytic in the punctured disc $0<|z|<R$, and $w_{1}(z)$ and $w_{2}(z)$ are linearly independent solutions in the neighbourhood of the point $z_{0}$ in the disc. By considering the effect of analytically continuing $w_{1}$ and $w_{2}$, show that the equation $(*)$ has a non-trivial solution of the form

  $$w(z)=z^{\sigma} \sum_{n=-\infty}^{\infty} c_{n} z^{n}$$

  comment

• 2.I.8B

  Further Complex Methods

  Part II, 2007

  The function $I(z)$ is defined by

  $$I(z)=\frac{1}{\Gamma(z)} \int_{0}^{\infty} \frac{t^{z-1}}{e^{t}+1} d t$$

  For what values of $z$ is $I(z)$ analytic?

  By considering $I(z)-\zeta(z)$, where $\zeta(z)$ is the Riemann zeta function which you may assume is given by

  $$\zeta(z)=\frac{1}{\Gamma(z)} \int_{0}^{\infty} \frac{t^{z-1}}{e^{t}-1} d t \quad(\operatorname{Re} z>1)$$

  show that $I(z)=\left(1-2^{1-z}\right) \zeta(z)$. Deduce from this result that the analytic continuation of $I(z)$ is an entire function. [You may use properties of $\zeta(z)$ without proof.]

  comment

• 3.I.8B

  Further Complex Methods

  Part II, 2007

  Let $w_{1}(z)$ and $w_{2}(z)$ be any two linearly independent branches of the $P$-function

  $$\left\{\begin{array}{cccc} 0 & \infty & 1 & \\ \alpha & \beta & \gamma & z \\ \alpha^{\prime} & \beta^{\prime} & \gamma^{\prime} & \end{array}\right\}$$

  where $\alpha+\alpha^{\prime}+\beta+\beta^{\prime}+\gamma+\gamma^{\prime}=1$, and let $W(z)$ be the Wronskian of $w_{1}(z)$ and $w_{2}(z)$.

  (i) How is $W(z)$ related to the Wronskian of the principal branches of the $P$-function at $z=0$ ?

  (ii) Show that $z^{-\alpha-\alpha^{\prime}+1}(1-z)^{-\gamma-\gamma^{\prime}+1} W(z)$ is an entire function.

  (iii) Given that $z^{\beta+\beta^{\prime}+1} W(z)$ is bounded as $z \rightarrow \infty$, show that

  $$W(z)=A z^{\alpha+\alpha^{\prime}-1}(1-z)^{\gamma+\gamma^{\prime}-1}$$

  where $A$ is a non-zero constant.

  comment

• 1.II.14B

  Further Complex Methods

  Part II, 2007

  The function $J(z)$ is defined by

  $$J(z)=\int_{\mathcal{P}} t^{z-1}(1-t)^{b-1} d t$$

  where $b$ is a constant (which is not an integer). The path of integration, $\mathcal{P}$, is the Pochhammer contour, defined as follows. It starts at a point $A$ on the axis between 0 and 1 , then it circles the points 1 and 0 in the negative sense, then it circles the points 1 and 0 in the positive sense, returning to $A$. At the start of the path, $\arg (t)=\arg (1-t)=0$ and the integrand is defined at other points on $\mathcal{P}$ by analytic continuation along $\mathcal{P}$.

  (i) For what values of $z$ is $J(z)$ analytic? Give brief reasons for your answer.

  (ii) Show that, in the case $\operatorname{Re} z>0$ and $\operatorname{Re} b>0$,

  $$J(z)=-4 e^{-\pi i(z+b)} \sin (\pi z) \sin (\pi b) \mathrm{B}(z, b)$$

  where $\mathrm{B}(z, b)$ is the Beta function.

  (iii) Deduce that the only singularities of $\mathrm{B}(z, b)$ are simple poles. Explain carefully what happens if $z$ is a positive integer.

  comment

• 4.I.8B

  Further Complex Methods

  Part II, 2007

  The hypergeometric function $F(a, b ; c ; z)$ is defined by

  $$F(a, b ; c ; z)=K \int_{0}^{1} t^{b-1}(1-t)^{c-b-1}(1-t z)^{-a} d t$$

  where $|\arg (1-t z)|<\pi$ and $K$ is a constant determined by the condition $F(a, b ; c ; 0)=1$.

  (i) Express $K$ in terms of Gamma functions.

  (ii) By considering the $n$th derivative $F^{(n)}(a, b ; c ; 0)$, show that $F(a, b ; c ; z)=F(b, a ; c ; z)$.

  comment

• 2.II.14B

  Further Complex Methods

  Part II, 2007

  Show that the equation

  $$z w^{\prime \prime}-(1+z) w^{\prime}+2(1-z) w=0$$

  has solutions of the form $w(z)=\int_{\gamma} e^{z t} f(t) d t$, where

  $$f(t)=\frac{1}{(t-2)(t+1)^{2}}$$

  provided that $\gamma$ is suitably chosen.

  Hence find the general solution, evaluating the integrals explicitly. Show that the general solution is entire, but that there is no solution that satisfies $w(0)=0$ and $w^{\prime}(0) \neq 0$.

  comment

• 1.I.9C

  Classical Dynamics

  Part II, 2007

  The action for a system with generalized coordinates, $q_{i}(t)$, for a time interval $\left[t_{1}, t_{2}\right]$ is given by

  $$S=\int_{t_{1}}^{t_{2}} L\left(q_{i}, \dot{q}_{i}\right) d t$$

  where $L$ is the Lagrangian, and where the end point values $q_{i}\left(t_{1}\right)$ and $q_{i}\left(t_{2}\right)$ are fixed at specified values. Derive Lagrange's equations from the principle of least action by considering the variation of $S$ for all possible paths.

  What is meant by the statement that a particular coordinate $q_{j}$ is ignorable? Show that there is an associated constant of the motion, to be specified in terms of $L$.

  A particle of mass $m$ is constrained to move on the surface of a sphere of radius $a$ under a potential, $V(\theta)$, for which the Lagrangian is given by

  $$L=\frac{m}{2} a^{2}\left(\dot{\theta}^{2}+\dot{\phi}^{2} \sin ^{2} \theta\right)-V(\theta)$$

  Identify an ignorable coordinate and find the associated constant of the motion, expressing it as a function of the generalized coordinates. Evaluate the quantity

  $$H=\dot{q}_{i} \frac{\partial L}{\partial \dot{q}_{i}}-L$$

  in terms of the same generalized coordinates, for this case. Is $H$ also a constant of the motion? If so, why?

  comment

• 2.II.15C

  Classical Dynamics

  Part II, 2007

  (a) A Hamiltonian system with $n$ degrees of freedom is described by the phase space coordinates $\left(q_{1}, q_{2}, \ldots, q_{n}\right)$ and momenta $\left(p_{1}, p_{2}, \ldots, p_{n}\right)$. Show that the phase-space volume element

  $$d \tau=d q_{1} d q_{2} \ldots . d q_{n} d p_{1} d p_{2} \ldots . d p_{n}$$

  is conserved under time evolution.

  (b) The Hamiltonian, $H$, for the system in part (a) is independent of time. Show that if $F\left(q_{1}, \ldots, q_{n}, p_{1}, \ldots, p_{n}\right)$ is a constant of the motion, then the Poisson bracket $[F, H]$ vanishes. Evaluate $[F, H]$ when

  $$F=\sum_{k=1}^{n} p_{k}$$

  and

  $$H=\sum_{k=1}^{n} p_{k}^{2}+V\left(q_{1}, q_{2}, \ldots, q_{n}\right)$$

  where the potential $V$ depends on the $q_{k}(k=1,2, \ldots, n)$ only through quantities of the form $q_{i}-q_{j}$ for $i \neq j$.

  (c) For a system with one degree of freedom, state what is meant by the transformation

  $$(q, p) \rightarrow(Q(q, p), P(q, p))$$

  being canonical. Show that the transformation is canonical if and only if the Poisson bracket $[Q, P]=1$.

  comment

• 2.I.9C

  Classical Dynamics

  Part II, 2007

  The Lagrangian for a particle of mass $m$ and charge $e$ moving in a magnetic field with position vector $\mathbf{r}=(x, y, z)$ is given by

  $$L=\frac{1}{2} m \dot{\mathbf{r}}^{2}+e \frac{\dot{\mathbf{r}} \cdot \mathbf{A}}{c}$$

  where the vector potential $\mathbf{A}(\mathbf{r})$, which does not depend on time explicitly, is related to the magnetic field $\mathbf{B}$ through

  $$\mathbf{B}=\nabla \times \mathbf{A}$$

  Write down Lagrange's equations and use them to show that the equation of motion of the particle can be written in the form

  $$m \ddot{\mathbf{r}}=e \frac{\dot{\mathbf{r}} \times \mathbf{B}}{c}$$

  Deduce that the kinetic energy, $T$, is constant.

  When the magnetic field is of the form $\mathbf{B}=(0,0, d F / d x)$ for some specified function $F(x)$, show further that

  $$\dot{x}^{2}=\frac{2 T}{m}-\frac{(e F(x)+C)^{2}}{m^{2} c^{2}}+D$$

  where $C$ and $D$ are constants.

  comment

• 3.I.9C

  Classical Dynamics

  Part II, 2007

  A particle of mass $m_{1}$ is constrained to move in the horizontal $(x, y)$ plane, around a circle of fixed radius $r_{1}$ whose centre is at the origin of a Cartesian coordinate system $(x, y, z)$. A second particle of mass $m_{2}$ is constrained to move around a circle of fixed radius $r_{2}$ that also lies in a horizontal plane, but whose centre is at $(0,0, a)$. It is given that the Lagrangian $L$ of the system can be written as

  $$L=\frac{m_{1}}{2} r_{1}^{2} \dot{\phi}_{1}^{2}+\frac{m_{2}}{2} r_{2}^{2} \dot{\phi}_{2}^{2}+\omega^{2} r_{1} r_{2} \cos \left(\phi_{2}-\phi_{1}\right)$$

  using the particles' cylindrical polar angles $\phi_{1}$ and $\phi_{2}$ as generalized coordinates. Deduce the equations of motion and use them to show that $m_{1} r_{1}^{2} \dot{\phi}_{1}+m_{2} r_{2}^{2} \dot{\phi}_{2}$ is constant, and that $\psi=\phi_{2}-\phi_{1}$ obeys an equation of the form

  $$\ddot{\psi}=-k^{2} \sin \psi$$

  where $k$ is a constant to be determined.

  Find two values of $\psi$ corresponding to equilibria, and show that one of the two equilibria is stable. Find the period of small oscillations about the stable equilibrium.

  comment

• 4.II.15C

  Classical Dynamics

  Part II, 2007

  The Hamiltonian for an oscillating particle with one degree of freedom is

  $$H=\frac{p^{2}}{2 m}+V(q, \lambda)$$

  The mass $m$ is a constant, and $\lambda$ is a function of time $t$ alone. Write down Hamilton's equations and use them to show that

  $$\frac{d H}{d t}=\frac{\partial H}{\partial \lambda} \frac{d \lambda}{d t}$$

  Now consider a case in which $\lambda$ is constant and the oscillation is exactly periodic. Denote the constant value of $H$ in that case by $E$. Consider the quantity $I=$ $(2 \pi)^{-1} \oint p d q$, where the integral is taken over a single oscillation cycle. For any given function $V(q, \lambda)$ show that $I$ can be expressed as a function of $E$ and $\lambda$ alone, namely

  $$I=I(E, \lambda)=\frac{(2 m)^{1 / 2}}{2 \pi} \oint(E-V(q, \lambda))^{1 / 2} d q$$

  where the sign of the integrand alternates between the two halves of the oscillation cycle. Let $\tau$ be the period of oscillation. Show that the function $I(E, \lambda)$ has partial derivatives

  $$\frac{\partial I}{\partial E}=\frac{\tau}{2 \pi} \quad \text { and } \quad \frac{\partial I}{\partial \lambda}=-\frac{1}{2 \pi} \oint \frac{\partial V}{\partial \lambda} d t$$

  You may assume without proof that $\partial / \partial E$ and $\partial / \partial \lambda$ may be taken inside the integral.

  Now let $\lambda$ change very slowly with time $t$, by a negligible amount during an oscillation cycle. Assuming that, to sufficient approximation,

  $$\frac{d\langle H\rangle}{d t}=\frac{\partial\langle H\rangle}{\partial \lambda} \frac{d \lambda}{d t}$$

  where $\langle H\rangle$ is the average value of $H$ over an oscillation cycle, and that

  $$\frac{d I}{d t}=\frac{\partial I}{\partial E} \frac{d\langle H\rangle}{d t}+\frac{\partial I}{\partial \lambda} \frac{d \lambda}{d t}$$

  deduce that $d I / d t=0$, carefully explaining your reasoning.

  When

  $$V(q, \lambda)=\lambda q^{2 n}$$

  with $n$ a positive integer and $\lambda$ positive, deduce that

  $$\langle H\rangle=C \lambda^{1 /(n+1)}$$

  for slowly-varying $\lambda$, where $C$ is a constant.

  [Do not try to solve Hamilton's equations. Rather, consider the form taken by $I$. ]

  comment

• 4.I $9 \mathrm{C} \quad$

  Classical Dynamics

  Part II, 2007

  (a) Show that the principal moments of inertia for the oblate spheroid of mass $M$ defined by

  $$\frac{\left(x_{1}^{2}+x_{2}^{2}\right)}{a^{2}}+\frac{x_{3}^{2}}{a^{2}\left(1-e^{2}\right)} \leqslant 1$$

  are given by $\left(I_{1}, I_{2}, I_{3}\right)=\frac{2}{5} M a^{2}\left(1-\frac{1}{2} e^{2}, 1-\frac{1}{2} e^{2}, 1\right)$. Here $a$ is the semi-major axis and $e$ is the eccentricity.

  [You may assume that a sphere of radius a has principal moments of inertia $\frac{2}{5} M a^{2}$.]

  (b) The spheroid in part (a) rotates about an axis that is not a principal axis. Euler's equations governing the angular velocity $\left(\omega_{1}, \omega_{2}, \omega_{3}\right)$ as viewed in the body frame are

  $$\begin{aligned} &I_{1} \frac{d \omega_{1}}{d t}=\left(I_{2}-I_{3}\right) \omega_{2} \omega_{3} \\ &I_{2} \frac{d \omega_{2}}{d t}=\left(I_{3}-I_{1}\right) \omega_{3} \omega_{1} \end{aligned}$$

  and

  $$I_{3} \frac{d \omega_{3}}{d t}=\left(I_{1}-I_{2}\right) \omega_{1} \omega_{2}$$

  Show that $\omega_{3}$ is constant. Show further that the angular momentum vector precesses around the $x_{3}$ axis with period

  $$P=\frac{2 \pi\left(2-e^{2}\right)}{e^{2} \omega_{3}}$$

  comment

• 1.I.10A

  Cosmology

  Part II, 2007

  Describe the motion of light rays in an expanding universe with scale factor $a(t)$, and derive the redshift formula

  $$1+z=\frac{a\left(t_{0}\right)}{a\left(t_{\mathrm{e}}\right)},$$

  where the light is emitted at time $t_{\mathrm{e}}$ and observed at time $t_{0}$.

  A galaxy at comoving position $\mathbf{x}$ is observed to have a redshift $z$. Given that the galaxy emits an amount of energy $L$ per unit time, show that the total energy per unit time crossing a sphere centred on the galaxy and intercepting the earth is $L /(1+z)^{2}$. Hence, show that the energy per unit time per unit area passing the earth is

  $$\frac{L}{(1+z)^{2}} \frac{1}{4 \pi|\mathbf{x}|^{2} a^{2}\left(t_{0}\right)}$$

  comment

• 2.I.10A

  Cosmology

  Part II, 2007

  The number density of photons in thermal equilibrium at temperature $T$ takes the form

  $$n=\frac{8 \pi}{c^{3}} \int \frac{\nu^{2} d \nu}{\exp (h \nu / k T)-1}$$

  At time $t=t_{\mathrm{dec}}$ and temperature $T=T_{\mathrm{dec}}$, photons decouple from thermal equilibrium. By considering how the photon frequency redshifts as the universe expands, show that the form of the equilibrium frequency distribution is preserved, with the temperature for $t>t_{\mathrm{dec}}$ defined by

  $$T \equiv \frac{a\left(t_{\mathrm{dec}}\right)}{a(t)} T_{\mathrm{dec}}$$

  Show that the photon number density $n$ and energy density $\epsilon$ can be expressed in the form

  $$n=\alpha T^{3}, \quad \epsilon=\xi T^{4},$$

  where the constants $\alpha$ and $\xi$ need not be evaluated explicitly.

  comment

• 1.II.15A

  Cosmology

  Part II, 2007

  In a homogeneous and isotropic universe, the scale factor $a(t)$ obeys the Friedmann equation

  $$\left(\frac{\dot{a}}{a}\right)^{2}+\frac{k c^{2}}{a^{2}}=\frac{8 \pi G}{3} \rho,$$

  where $\rho$ is the matter density, which, together with the pressure $P$, satisfies

  $$\dot{\rho}=-3 \frac{\dot{a}}{a}\left(\rho+P / c^{2}\right)$$

  Here, $k$ is a constant curvature parameter. Use these equations to show that the rate of change of the Hubble parameter $H=\dot{a} / a$ satisfies

  $$\dot{H}+H^{2}=-\frac{4 \pi G}{3}\left(\rho+3 P / c^{2}\right)$$

  Suppose that an expanding Friedmann universe is filled with radiation (density $\rho_{R}$ and pressure $\left.P_{R}=\rho_{R} c^{2} / 3\right)$ as well as a "dark energy" component (density $\rho_{\Lambda}$ and pressure $\left.P_{\Lambda}=-\rho_{\Lambda} c^{2}\right)$. Given that the energy densities of these two components are measured today $\left(t=t_{0}\right)$ to be

  $$\rho_{R 0}=\beta \frac{3 H_{0}^{2}}{8 \pi G} \quad \text { and } \quad \rho_{\Lambda 0}=\frac{3 H_{0}^{2}}{8 \pi G} \quad \text { with constant } \beta>0 \quad \text { and } \quad a\left(t_{0}\right)=1,$$

  show that the curvature parameter must satisfy $k c^{2}=\beta H_{0}^{2}$. Hence derive the following relations for the Hubble parameter and its time derivative:

  $$\begin{aligned} H^{2} &=\frac{H_{0}^{2}}{a^{4}}\left(\beta-\beta a^{2}+a^{4}\right) \\ \dot{H} &=-\beta \frac{H_{0}^{2}}{a^{4}}\left(2-a^{2}\right) \end{aligned}$$

  Show qualitatively that universes with $\beta>4$ will recollapse to a Big Crunch in the future. [Hint: Sketch $a^{4} H^{2}$ and $a^{4} \dot{H}$ versus $a^{2}$ for representative values of $\beta$.]

  For $\beta=4$, find an explicit solution for the scale factor $a(t)$ satisfying $a(0)=0$. Find the limiting behaviours of this solution for large and small $t$. Comment briefly on their significance.

  comment

• 3.I.10A

  Cosmology

  Part II, 2007

  The number density of a non-relativistic species in thermal equilibrium is given by

  $$n=g_{s}\left(\frac{2 \pi m k T}{h^{2}}\right)^{3 / 2} \exp \left[\left(\mu-m c^{2}\right) / k T\right]$$

  Suppose that thermal and chemical equilibrium is maintained between protons p (mass $m_{\mathrm{p}}$, degeneracy $g_{s}=2$ ), neutrons $\mathrm{n}$ (mass $m_{\mathrm{n}} \approx m_{\mathrm{p}}$, degeneracy $g_{s}=2$ ) and helium-4 nuclei ${ }^{4} \mathrm{He}\left(\right.$ mass $m_{\mathrm{He}} \approx 4 m_{\mathrm{p}}$, degeneracy $g_{s}=1$ ) via the interaction

  $$2 \mathrm{p}+2 \mathrm{n} \leftrightarrow{ }^{4} \mathrm{He}+\gamma$$

  where you may assume the photons $\gamma$ have zero chemical potential $\mu_{\gamma}=0$. Given that the binding energy of helium-4 obeys $B_{\mathrm{He}} / c^{2} \equiv 2 m_{\mathrm{p}}+2 n_{\mathrm{n}}-m_{\mathrm{He}} \ll m_{\mathrm{He}}$, show that the ratio of the number densities can be written as

  $$\frac{n_{\mathrm{p}}^{2} n_{\mathrm{n}}^{2}}{n_{\mathrm{He}}}=2\left(\frac{2 \pi m_{\mathrm{p}} k T}{h^{2}}\right)^{9 / 2} \exp \left(-B_{\mathrm{He}} / k T\right)$$

  Explain briefly why the baryon-to-photon ratio $\eta \equiv n_{B} / n_{\gamma}$ remains constant during the expansion of the universe, where $n_{B} \approx n_{\mathrm{p}}+n_{\mathrm{n}}+4 n_{\mathrm{He}}$ and $n_{\gamma} \approx\left(16 \pi /(h c)^{3}\right)(k T)^{3}$.

  By considering the fractional densities $X_{i} \equiv n_{i} / n_{B}$ of the species $i$, re-express the ratio ( $\uparrow$ ) in the form

  $$\frac{X_{\mathrm{p}}^{2} X_{\mathrm{n}}^{2}}{X_{\mathrm{He}}}=\eta^{-3} \frac{1}{32}\left(\frac{\pi}{2}\right)^{3 / 2}\left(\frac{m_{\mathrm{p}} c^{2}}{k T}\right)^{9 / 2} \exp \left(-B_{\mathrm{He}} / k T\right)$$

  Given that $B_{\mathrm{He}} \approx 30 \mathrm{MeV}$, verify (very approximately) that this ratio approaches unity when $k T \approx 0.3 \mathrm{MeV}$. In reality, helium-4 is not formed until after deuterium production at a considerably lower temperature. Explain briefly the reason for this delay.

  comment

• 4.I.10A

  Cosmology

  Part II, 2007

  The equation governing density perturbation modes $\delta_{\mathbf{k}}(t)$ in a matter-dominated universe (with $a(t)=\left(t / t_{0}\right)^{2 / 3}$ ) is

  $$\ddot{\delta}_{\mathbf{k}}+2 \frac{\dot{a}}{a} \dot{\delta}_{\mathbf{k}}-\frac{3}{2}\left(\frac{\dot{a}}{a}\right)^{2} \delta_{\mathbf{k}}=0$$

  where $\mathbf{k}$ is the comoving wavevector. Find the general solution for the perturbation, showing that there is a growing mode such that

  $$\delta_{\mathbf{k}}(t) \approx \frac{a(t)}{a\left(t_{i}\right)} \delta_{\mathbf{k}}\left(t_{i}\right) \quad\left(t \gg t_{i}\right)$$

  Show that the physical wavelength corresponding to the comoving wavenumber $k=|\mathbf{k}|$ crosses the Hubble radius $c H^{-1}$ at a time $t_{k}$ given by

  $$\frac{t_{k}}{t_{0}}=\left(\frac{k_{0}}{k}\right)^{3} \quad, \quad \text { where } \quad k_{0}=\frac{2 \pi}{c H_{0}^{-1}}$$

  According to inflationary theory, the amplitude of the variance at horizon-crossing is constant, that is, $\left\langle\left|\delta_{\mathbf{k}}\left(t_{k}\right)\right|^{2}\right\rangle=A V^{-1} / k^{3}$ where $A$ and $V$ (the volume) are constants. Given this amplitude and the results obtained above, deduce that the power spectrum today takes the form

  $$P(k) \equiv V\left\langle\left|\delta_{\mathbf{k}}\left(t_{0}\right)\right|^{2}\right\rangle=\frac{A}{k_{0}^{4}} k$$

  comment

• 3.II.15A

  Cosmology

  Part II, 2007

  A spherically symmetric star with outer radius $R$ has mass density $\rho(r)$ and pressure $P(r)$, where $r$ is the distance from the centre of the star. Show that hydrostatic equilibrium implies the pressure support equation,

  $$\frac{d P}{d r}=-\frac{G m \rho}{r^{2}}$$

  where $m(r)$ is the mass inside radius $r$. State without proof any results you may need.

  Write down an integral expression for the total gravitational potential energy $E_{\text {grav }}$ of the star. Hence use $(\dagger)$ to deduce the virial theorem

  $$E_{\mathrm{grav}}=-3\langle P\rangle V,$$

  where $\langle P\rangle$ is the average pressure and $V$ is the volume of the star.

  Given that a non-relativistic ideal gas obeys $P=2 E_{\mathrm{kin}} / 3 \mathrm{~V}$ and that an ultrarelativistic gas obeys $P=E_{\text {kin }} / 3 V$, where $E_{\text {kin }}$ is the kinetic energy, discuss briefly the gravitational stability of a star in these two limits.

  At zero temperature, the number density of particles obeying the Pauli exclusion principle is given by

  $$n=\frac{4 \pi g_{s}}{h^{3}} \int_{0}^{p_{\mathrm{F}}} p^{2} d p=\frac{4 \pi g_{s}}{3}\left(\frac{p_{\mathrm{F}}}{h}\right)^{3}$$

  where $p_{\mathrm{F}}$ is the Fermi momentum, $g_{s}$ is the degeneracy and $h$ is Planck's constant. Deduce that the non-relativistic internal energy $E_{\text {kin }}$ of these particles is

  $$E_{\mathrm{kin}}=\frac{4 \pi g_{s} V h^{2}}{10 m_{p}}\left(\frac{p_{\mathrm{F}}}{h}\right)^{5}$$

  where $m_{p}$ is the mass of a particle. Hence show that the non-relativistic Fermi degeneracy pressure satisfies

  $$P \sim \frac{h^{2}}{m_{p}} n^{5 / 3} .$$

  Use the virial theorem $(*)$ to estimate that the radius $R$ of a star supported by Fermi degeneracy pressure is approximately

  $$R \sim \frac{h^{2} M^{-1 / 3}}{G m_{p}^{8 / 3}},$$

  where $M$ is the total mass of the star.

  [Hint: Assume $\rho(r)=m_{p} n(r) \sim m_{p}\langle n\rangle$ and note that $\left.M \approx\left(4 \pi R^{3} / 3\right) m_{p}\langle n\rangle .\right]$

  comment

• 1.II.16G

  Set Theory and Logic

  Part II, 2007

  By a directed set in a poset $(P, \leqslant)$, we mean a nonempty subset $D$ such that any pair $\{x, y\}$ of elements of $D$ has an upper bound in $D$. We say $(P, \leqslant)$ is directed-complete if each directed subset $D \subseteq P$ has a least upper bound in $P$. Show that a poset is complete if and only if it is directed-complete and has joins for all its finite subsets. Show also that, for any two sets $A$ and $B$, the set $[A>B]$ of partial functions from $A$ to $B$, ordered by extension, is directed-complete.

  Let $(P, \leqslant)$ be a directed-complete poset, and $f: P \rightarrow P$ an order-preserving map which is inflationary, i.e. satisfies $x \leqslant f(x)$ for all $x \in P$. We define a subset $C \subseteq P$ to be closed if it satisfies $(x \in C) \rightarrow(f(x) \in C)$, and is also closed under joins of directed sets (i.e., $D \subseteq C$ and $D$ directed imply $\bigvee D \in C$ ). We write $x \ll y$ to mean that every closed set containing $x$ also contains $y$. Show that $\ll$ is a partial order on $P$, and that $x \ll y$ implies $x \leqslant y$. Now consider the set $H$ of all functions $h: P \rightarrow P$ which are order-preserving and satisfy $x \ll h(x)$ for all $x$. Show that $H$ is closed under composition of functions, and deduce that, for each $x \in P$, the set $H_{x}=\{h(x) \mid h \in H\}$ is directed. Defining $h_{0}(x)=V H_{x}$ for each $x$, show that the function $h_{0}$ belongs to $H$, and deduce that $h_{0}(x)$ is the least fixed point of $f$ lying above $x$, for each $x \in P$.

  comment

• 2.II.16G

  Set Theory and Logic

  Part II, 2007

  Explain carefully what is meant by a deduction in the propositional calculus. State the completeness theorem for the propositional calculus, and deduce the compactness theorem.

  Let $P, Q, R$ be three pairwise-disjoint sets of primitive propositions, and suppose given compound propositions $s \in \mathcal{L}(P \cup Q)$ and $t \in \mathcal{L}(Q \cup R)$ such that $(s \vdash t)$ holds. Let $U$ denote the set

  $$\{u \in \mathcal{L}(Q) \mid(s \vdash u)\} .$$

  If $v: Q \rightarrow 2$ is any valuation making all the propositions in $U$ true, show that the set

  $$\{s\} \cup\{q \mid q \in Q, v(q)=1\} \cup\{\neg q \mid q \in Q, v(q)=0\}$$

  is consistent. Deduce that $U \cup\{\neg t\}$ is inconsistent, and hence show that there exists $u \in \mathcal{L}(Q)$ such that $(s \vdash u)$ and $(u \vdash t)$ both hold.

  comment

• 3.II.16G

  Set Theory and Logic

  Part II, 2007

  Write down the recursive definitions of ordinal addition, multiplication and exponentiation. Prove carefully that $\omega^{\alpha} \geqslant \alpha$ for all $\alpha$, and hence show that for each non-zero ordinal $\alpha$ there exists a unique $\alpha_{0} \leqslant \alpha$ such that

  $$\omega^{\alpha_{0}} \leqslant \alpha<\omega^{\alpha_{0}+1} .$$

  Deduce that any non-zero ordinal $\alpha$ has a unique representation of the form

  $$\omega^{\alpha_{0}} \cdot a_{0}+\omega^{\alpha_{1}} \cdot \alpha_{1}+\cdots+\omega^{\alpha_{n}} \cdot a_{n}$$

  where $\alpha \geqslant \alpha_{0}>\alpha_{1}>\cdots>\alpha_{n}$ and $a_{0}, a_{1}, \ldots, a_{n}$ are non-zero natural numbers.

  Two ordinals $\beta, \gamma$ are said to be commensurable if we have neither $\beta+\gamma=\gamma$ nor $\gamma+\beta=\beta$. Show that $\beta$ and $\gamma$ are commensurable if and only if there exists $\alpha$ such that both $\beta$ and $\gamma$ lie in the set

  $$\left\{\delta \mid \omega^{\alpha} \leqslant \delta<\omega^{\alpha+1}\right\}$$

  comment

• 4.II.16G

  Set Theory and Logic

  Part II, 2007

  Explain what is meant by a well-founded binary relation on a set.

  Given a set $a$, we say that a mapping $f: a \rightarrow \mathcal{P} a$ is recursive if, given any set $b$ equipped with a mapping $g: \mathcal{P} b \rightarrow b$, there exists a unique $h: a \rightarrow b$ such that $h=g \circ h_{*} \circ f$, where $h_{*}: \mathcal{P} a \rightarrow \mathcal{P} b$ denotes the mapping $a^{\prime} \mapsto\left\{h(x) \mid x \in a^{\prime}\right\}$. Show that $f$ is recursive if and only if the relation $\{\langle x, y\rangle \mid x \in f(y)\}$ is well-founded.

  [If you need to use any form of the recursion theorem, you should prove it.]

  comment

• 1.II.17H

  Graph Theory

  Part II, 2007

  Let $G$ be a connected cubic graph drawn in the plane with each edge in the boundary of two distinct faces. Show that the associated map is 4 -colourable if and only if $G$ is 3 -edge colourable.

  Is the above statement true if the plane is replaced by the torus and all faces are required to be simply connected? Give a proof or a counterexample.

  comment

• 2.II.17H

  Graph Theory

  Part II, 2007

  The Ramsey number $R(G)$ of a graph $G$ is the smallest $n$ such that in any red/blue colouring of the edges of $K_{n}$ there is a monochromatic copy of $G$.

  Show that $R\left(K_{t}\right) \leqslant\left(\begin{array}{c}2 t-2 \\ t-1\end{array}\right)$ for every $t \geqslant 3$.

  Let $H$ be the graph on four vertices obtained by adding an edge to a triangle. Show that $R(H)=7$.

  comment

• 3.II.17H

  Graph Theory

  Part II, 2007

  Let $G$ be a bipartite graph with vertex classes $X$ and $Y$, each of size $n$. State and prove Hall's theorem giving a necessary and sufficient condition for $G$ to contain a perfect matching.

  A vertex $x \in X$ is flexible if every edge from $x$ is contained in a perfect matching. Show that if $|\Gamma(A)|>|A|$ for every subset $A$ of $X$ with $\emptyset \neq A \neq X$, then every $x \in X$ is flexible.

  Show that whenever $G$ contains a perfect matching, there is at least one flexible $x \in X$.

  Give an example of such a $G$ where no $x \in X$ of minimal degree is flexible.

  comment

• 4.II.17H

  Graph Theory

  Part II, 2007

  Let $G$ be a graph with $n$ vertices and $m$ edges. Show that if $G$ contains no $C_{4}$, then $m \leqslant \frac{n}{4}(1+\sqrt{4 n-3})$.

  Let $C_{4}(G)$ denote the number of subgraphs of $G$ isomorphic to $C_{4}$. Show that if $m \geqslant \frac{n(n-1)}{4}$, then $G$ contains at least $\frac{n(n-1)(n-3)}{8}$ paths of length 2 . By considering the numbers $r_{1}, r_{2}, \ldots, r_{\left(\begin{array}{c}n \\ 2\end{array}\right)}$ of vertices joined to each pair of vertices of $G$, deduce that

  $$C_{4}(G) \geqslant \frac{1}{2}\left(\begin{array}{l} n \\ 2 \end{array}\right)\left(\begin{array}{c} (n-3) / 4 \\ 2 \end{array}\right)$$

  Now let $G=G(n, 1 / 2)$ be the random graph on $\{1,2, \ldots, n\}$ in which each pair of vertices is joined independently with probability $1 / 2$. Find the expectation $\mathbb{E}\left(C_{4}(G)\right)$ of $C_{4}(G)$. Deduce that if $0<\epsilon<1 / 2$, then

  $$\operatorname{Pr}\left(C_{4}(G) \leqslant(1+2 \epsilon) \frac{3}{16}\left(\begin{array}{l} n \\ 4 \end{array}\right)\right) \geqslant \epsilon$$

  comment

• 1.II.18F

  Galois Theory

  Part II, 2007

  Let $L / K / M$ be field extensions. Define the degree $[K: M]$ of the field extension $K / M$, and state and prove the tower law.

  Now let $K$ be a finite field. Show $\# K=p^{n}$, for some prime $p$ and positive integer $n$. Show also that $K$ contains a subfield of order $p^{m}$ if and only if $m \mid n$.

  If $f \in K[x]$ is an irreducible polynomial of degree $d$ over the finite field $K$, determine its Galois group.

  comment

• 2.II.18F

  Galois Theory

  Part II, 2007

  Let $L=K\left(\xi_{n}\right)$, where $\xi_{n}$ is a primitive $n$th root of unity and $G=\operatorname{Aut}(L / K)$. Prove that there is an injective group homomorphism $\chi: G \rightarrow(\mathbb{Z} / n \mathbb{Z})^{*}$.

  Show that, if $M$ is an intermediate subfield of $K\left(\xi_{n}\right) / K$, then $M / K$ is Galois. State carefully any results that you use.

  Give an example where $G$ is non-trivial but $\chi$ is not surjective. Show that $\chi$ is surjective when $K=\mathbb{Q}$ and $n$ is a prime.

  Determine all the intermediate subfields $M$ of $\mathbb{Q}\left(\xi_{7}\right)$ and the automorphism groups $\operatorname{Aut}\left(\mathbb{Q}\left(\xi_{7}\right) / M\right)$. Write the quadratic subfield in the form $\mathbb{Q}(\sqrt{d})$ for some $d \in \mathbb{Q}$.

  comment

• 3.II.18F

  Galois Theory

  Part II, 2007

  (i) Let $K$ be the splitting field of the polynomial $x^{4}-3$ over $\mathbb{Q}$. Describe the field $K$, the Galois group $G=\operatorname{Aut}(K / \mathbb{Q})$, and the action of $G$ on $K$.

  (ii) Let $K$ be the splitting field of the polynomial $x^{4}+4 x^{2}+2$ over $\mathbb{Q}$. Describe the field $K$ and determine $\operatorname{Aut}(K / \mathbb{Q})$.

  comment

• 4.II.18F

  Galois Theory

  Part II, 2007

  Let $f(x) \in K[x]$ be a monic polynomial, $L$ a splitting field for $f, \alpha_{1}, \ldots, \alpha_{n}$ the roots of $f$ in $L$. Let $\triangle(f)=\prod_{i<j}\left(\alpha_{i}-\alpha_{j}\right)^{2}$ be the discriminant of $f$. Explain why $\triangle(f)$ is a polynomial function in the coefficients of $f$, and determine $\triangle(f)$ when $f(x)=x^{3}+p x+q$.

  Compute the Galois group of the polynomial $x^{3}-3 x+1 \in \mathbb{Q}[x]$.

  comment

• 1.II.19H

  Representation Theory

  Part II, 2007

  A finite group $G$ has seven conjugacy classes $C_{1}=\{e\}, C_{2}, \ldots, C_{7}$ and the values of five of its irreducible characters are given in the following table.

  $\begin{array}{rrrrrrr}C_{1} & C_{2} & C_{3} & C_{4} & C_{5} & C_{6} & C_{7} \\ 1 & 1 & 1 & 1 & 1 & 1 & 1 \\ 1 & 1 & 1 & 1 & -1 & -1 & -1 \\ 4 & 0 & 1 & -1 & 2 & -1 & 0 \\ 4 & 0 & 1 & -1 & -2 & 1 & 0 \\ 5 & 1 & -1 & 0 & 1 & 1 & -1\end{array}$

  Calculate the number of elements in the various conjugacy classes and complete the character table.

  [You may not identify $G$ with any known group, unless you justify doing so.]

  comment

• 2.II.19H

  Representation Theory

  Part II, 2007

  Let $G$ be a finite group and let $Z$ be its centre. Show that if $\rho$ is a complex irreducible representation of $G$, assumed to be faithful (that is, the kernel of $\rho$ is trivial), then $Z$ is cyclic.

  Now assume that $G$ is a p-group (that is, the order of $G$ is a power of the prime $p)$, and assume that $Z$ is cyclic. If $\rho$ is a faithful representation of $G$, show that some irreducible component of $\rho$ is faithful.

  [You may use without proof the fact that, since $G$ is a p-group, $Z$ is non-trivial and any non-trivial normal subgroup of $G$ intersects $Z$ non-trivially.]

  Deduce that a finite $p$-group has a faithful irreducible representation if and only if its centre is cyclic.

  comment

• 3.II.19H

  Representation Theory

  Part II, 2007

  Let $G$ be a finite group with a permutation action on the set $X$. Describe the corresponding permutation character $\pi_{X}$. Show that the multiplicity in $\pi_{X}$ of the principal character $1_{G}$ equals the number of orbits of $G$ on $X$.

  Assume that $G$ is transitive on $X$, with $|X|>1$. Show that $G$ contains an element $g$ which is fixed-point-free on $X$, that is, $g \alpha \neq \alpha$ for all $\alpha$ in $X$.

  Assume that $\pi_{X}=1_{G}+m \chi$, with $\chi$ an irreducible character of $G$, for some natural number $m$. Show that $m=1$.

  [You may use without proof any facts about algebraic integers, provided you state them correctly.]

  Explain how the action of $G$ on $X$ induces an action of $G$ on $X^{2}$. Assume that $G$ has $r$ orbits on $X^{2}$. If now

  $$\pi_{X}=1_{G}+m_{2} \chi_{2}+\ldots+m_{k} \chi_{k}$$

  with $1_{G}, \chi_{2}, \ldots, \chi_{k}$ distinct irreducible characters of $G$, and $m_{2}, \ldots, m_{k}$ natural numbers, show that $r=1+m_{2}^{2}+\ldots+m_{k}^{2}$. Deduce that, if $r \leqslant 5$, then $k=r$ and $m_{2}=\ldots=m_{k}=1$.

  comment

• 4.II.19H

  Representation Theory

  Part II, 2007

  Write an essay on the representation theory of $\mathrm{SU}_{2}$.

  Your answer should include a description of each irreducible representation and an explanation of how to decompose arbitrary representations into a direct sum of these.

  comment

• 1.II.20H

  Number Fields

  Part II, 2007

  Let $K=\mathbb{Q}(\sqrt{-26})$.

  (a) Show that $\mathcal{O}_{K}=\mathbb{Z}[\sqrt{-26}]$ and that the discriminant $d_{K}$ is equal to $-104$.

  (b) Show that 2 ramifies in $\mathcal{O}_{K}$ by showing that $[2]=\mathfrak{p}_{2}^{2}$, and that $\mathfrak{p}_{2}$ is not a principal ideal. Show further that $[3]=\mathfrak{p}_{3} \overline{\mathfrak{p}}_{3}$ with $\mathfrak{p}_{3}=[3,1-\sqrt{-26}]$. Deduce that neither $\mathfrak{p}_{3}$ nor $\mathfrak{p}_{3}^{2}$ is a principal ideal, but $\mathfrak{p}_{3}^{3}=[1-\sqrt{-26}]$.

  (c) Show that 5 splits in $\mathcal{O}_{K}$ by showing that $[5]=\mathfrak{p}_{5} \overline{\mathfrak{p}}_{5}$, and that

  $$N_{K / \mathbb{Q}}(2+\sqrt{-26})=30$$

  Deduce that $\mathfrak{p}_{2} \mathfrak{p}_{3} \mathfrak{p}_{5}$ has trivial class in the ideal class group of $K$. Conclude that the ideal class group of $K$ is cyclic of order six.

  [You may use the fact that $\left.\frac{2}{\pi} \sqrt{104} \approx 6.492 .\right]$

  comment

• 2.II.20H

  Number Fields

  Part II, 2007

  Let $K=\mathbb{Q}(\sqrt{10})$ and put $\varepsilon=3+\sqrt{10}$.

  (a) Show that 2,3 and $\varepsilon+1$ are irreducible elements in $\mathcal{O}_{K}$. Deduce from the equation

  $$6=2 \cdot 3=(\varepsilon+1)(\bar{\varepsilon}+1)$$

  that $\mathcal{O}_{K}$ is not a principal ideal domain.

  (b) Put $\mathfrak{p}_{2}=[2, \varepsilon+1]$ and $\mathfrak{p}_{3}=[3, \varepsilon+1]$. Show that

  $$[2]=\mathfrak{p}_{2}^{2}, \quad[3]=\mathfrak{p}_{3} \overline{\mathfrak{p}}_{3}, \quad \mathfrak{p}_{2} \mathfrak{p}_{3}=[\varepsilon+1], \quad \mathfrak{p}_{2} \overline{\mathfrak{p}}_{3}=[\varepsilon-1] .$$

  Deduce that $K$ has class number 2 .

  (c) Show that $\varepsilon$ is the fundamental unit of $K$. Hence prove that all solutions in integers $x, y$ of the equation $x^{2}-10 y^{2}=6$ are given by

  $$x+\sqrt{10} y=\pm \varepsilon^{n}\left(\varepsilon+(-1)^{n}\right), \quad n=0,1,2, \ldots$$

  comment

• 4.II.20H

  Number Fields

  Part II, 2007

  Let $K$ be a finite extension of $\mathbb{Q}$ and let $\mathcal{O}=\mathcal{O}_{K}$ be its ring of integers. We will assume that $\mathcal{O}=\mathbb{Z}[\theta]$ for some $\theta \in \mathcal{O}$. The minimal polynomial of $\theta$ will be denoted by $g$. For a prime number $p$ let

  $$\bar{g}(X)=\bar{g}_{1}(X)^{e_{1}} \cdot \ldots \cdot \bar{g}_{r}(X)^{e_{r}}$$

  be the decomposition of $\bar{g}(X)=g(X)+p \mathbb{Z}[X] \in(\mathbb{Z} / p \mathbb{Z})[X]$ into distinct irreducible monic factors $\bar{g}_{i}(X) \in(\mathbb{Z} / p \mathbb{Z})[X]$. Let $g_{i}(X) \in \mathbb{Z}[X]$ be a polynomial whose reduction modulo $p$ is $\bar{g}_{i}(X)$. Show that

  $$\mathfrak{p}_{i}=\left[p, g_{i}(\theta)\right], \quad i=1, \ldots, r,$$

  are the prime ideals of $\mathcal{O}$ containing $p$, that these are pairwise different, and

  $$[p]=\mathfrak{p}_{1}^{e_{1}} \cdot \ldots \cdot \mathfrak{p}_{r}^{e_{r}}$$

  comment

• 1.II.21H

  Algebraic Topology

  Part II, 2007

  (i) Compute the fundamental group of the Klein bottle. Show that this group is not abelian, for example by defining a suitable homomorphism to the symmetric group $S_{3}$.

  (ii) Let $X$ be the closed orientable surface of genus 2 . How many (connected) double coverings does $X$ have? Show that the fundamental group of $X$ admits a homomorphism onto the free group on 2 generators.

  comment

• 2.II.21H

  Algebraic Topology

  Part II, 2007

  State the Mayer-Vietoris sequence for a simplicial complex $X$ which is a union of two subcomplexes $A$ and $B$. Define the homomorphisms in the sequence (but do not check that they are well-defined). Prove exactness of the sequence at the term $H_{i}(A \cap B)$.

  comment

• $3 . \mathrm{II} . 20 \mathrm{H}$

  Algebraic Topology

  Part II, 2007

  Define what it means for a group $G$ to act on a topological space $X$. Prove that, if $G$ acts freely, in a sense that you should specify, then the quotient map $X \rightarrow X / G$ is a covering map and there is a surjective group homomorphism from the fundamental group of $X / G$ to $G$.

  comment

• 4.II $. 21 \mathrm{H}$

  Algebraic Topology

  Part II, 2007

  Compute the homology of the space obtained from the torus $S^{1} \times S^{1}$ by identifying $S^{1} \times\{p\}$ to a point and $S^{1} \times\{q\}$ to a point, for two distinct points $p$ and $q$ in $S^{1} .$

  comment

• 1.II.22G

  Linear Analysis

  Part II, 2007

  Let $X$ be a normed vector space over $\mathbb{R}$. Define the dual space $X^{*}$ and show directly that $X^{*}$ is a Banach space. Show that the map $\phi: X \rightarrow X^{* *}$ defined by $\phi(x) v=v(x)$, for all $x \in X, v \in X^{*}$, is a linear map. Using the Hahn-Banach theorem, show that $\phi$ is injective and $|\phi(x)|=|x|$.

  Give an example of a Banach space $X$ for which $\phi$ is not surjective. Justify your answer.

  comment

• 2.II.22G

  Linear Analysis

  Part II, 2007

  Let $X$ be a Banach space, $Y$ a normed vector space, and $T: X \rightarrow Y$ a bounded linear map. Assume that $T(X)$ is of second category in $Y$. Show that $T$ is surjective and $T(\mathcal{U})$ is open whenever $\mathcal{U}$ is open. Show that, if $T$ is also injective, then $T^{-1}$ exists and is bounded.

  Give an example of a continuous map $f: \mathbb{R} \rightarrow \mathbb{R}$ such that $f(\mathbb{R})$ is of second category in $\mathbb{R}$ but $f$ is not surjective. Give an example of a continuous surjective map $f: \mathbb{R} \rightarrow \mathbb{R}$ which does not take open sets to open sets.

  comment

• 3.II.21G

  Linear Analysis

  Part II, 2007

  State and prove the Arzela-Ascoli theorem.

  Let $N$ be a positive integer. Consider the subset $\mathcal{S}_{N} \subset C([0,1])$ consisting of all thrice differentiable solutions to the differential equation

  $f^{\prime \prime}=f+\left(f^{\prime}\right)^{2} \quad$ with $\quad|f(0)| \leqslant N, \quad|f(1)| \leqslant N, \quad\left|f^{\prime}(0)\right| \leqslant N, \quad\left|f^{\prime}(1)\right| \leqslant N .$

  Show that this set is totally bounded as a subset of $C([0,1])$.

  [It may be helpful to consider interior maxima.]

  comment

• 4.II.22G

  Linear Analysis

  Part II, 2007

  Let $X$ be a Banach space and $T: X \rightarrow X$ a bounded linear map. Define the spectrum $\sigma(T)$, point spectrum $\sigma_{p}(T)$, resolvent $R_{T}(\lambda)$, and resolvent set $\rho(T)$. Show that the spectrum is a closed and bounded subset of $\mathbb{C}$. Is the point spectrum always closed? Justify your answer.

  Now suppose $H$ is a Hilbert space, and $T: H \rightarrow H$ is self-adjoint. Show that the point spectrum $\sigma_{p}(T)$ is real.

  comment

• 1.II.23F

  Riemann Surfaces

  Part II, 2007

  Define a complex structure on the unit sphere $S^{2} \subset \mathbb{R}^{3}$ using stereographic projection charts $\varphi, \psi$. Let $U \subset \mathbb{C}$ be an open set. Show that a continuous non-constant map $F: U \rightarrow S^{2}$ is holomorphic if and only if $\varphi \circ F$ is a meromorphic function. Deduce that a non-constant rational function determines a holomorphic map $S^{2} \rightarrow S^{2}$. Define what is meant by a rational function taking the value $a \in \mathbb{C} \cup\{\infty\}$ with multiplicity $m$ at infinity.

  Define the degree of a rational function. Show that any rational function $f$ satisfies $(\operatorname{deg} f)-1 \leqslant \operatorname{deg} f^{\prime} \leqslant 2 \operatorname{deg} f$ and give examples to show that the bounds are attained. Is it true that the product $f . g$ satisfies $\operatorname{deg}(f . g)=\operatorname{deg} f+\operatorname{deg} g$, for any non-constant rational functions $f$ and $g$ ? Justify your answer.

  comment

• 2.II.23F

  Riemann Surfaces

  Part II, 2007

  A function $\psi$ is defined for $z \in \mathbb{C}$ by

  $$\psi(z)=\sum_{n=-\infty}^{\infty} \exp \left(\pi i\left(n+\frac{1}{2}\right)^{2} \tau+2 \pi i\left(n+\frac{1}{2}\right)\left(z+\frac{1}{2}\right)\right)$$

  where $\tau$ is a complex parameter with $\operatorname{Im}(\tau)>0$. Prove that this series converges uniformly on the subsets $\{|\operatorname{Im}(z)| \leqslant R\}$ for $R>0$ and deduce that $\psi$ is holomorphic on $\mathbb{C}$.

  You may assume without proof that

  $$\psi(z+1)=-\psi(z) \quad \text { and } \quad \psi(z+\tau)=-\exp (-\pi i \tau-2 \pi i z) \psi(z)$$

  for all $z \in \mathbb{C}$. Let $\ell(z)$ be the logarithmic derivative $\ell(z)=\frac{\psi^{\prime}(z)}{\psi(z)}$. Show that

  $$\ell(z+1)=\ell(z) \quad \text { and } \quad \ell(z+\tau)=-2 \pi i+\ell(z)$$

  for all $z \in \mathbb{C}$. Deduce that $\psi$ has only one zero in the parallelogram $P$ with vertices $\frac{1}{2}(\pm 1 \pm \tau)$. Find all of the zeros of $\psi .$

  Let $\Lambda$ be the lattice in $\mathbb{C}$ generated by 1 and $\tau$. Show that, for $\lambda_{j}, a_{j} \in \mathbb{C}$ $(j=1, \ldots, n)$, the formula

  $$f(z)=\lambda_{1} \frac{\psi^{\prime}\left(z-a_{1}\right)}{\psi\left(z-a_{1}\right)}+\ldots+\lambda_{n} \frac{\psi^{\prime}\left(z-a_{n}\right)}{\psi\left(z-a_{n}\right)}$$

  gives a $\Lambda$-periodic meromorphic function $f$ if and only if $\lambda_{1}+\ldots+\lambda_{n}=0$. Deduce that $\frac{d}{d z}\left(\frac{\psi^{\prime}(z-a)}{\psi(z-a)}\right)$ is $\Lambda$-periodic.

  comment

• 3.II.22F

  Riemann Surfaces

  Part II, 2007

  (i) Let $R$ and $S$ be compact connected Riemann surfaces and $f: R \rightarrow S$ a non-constant holomorphic map. Define the branching order $v_{f}(p)$ at $p \in R$ showing that it is well defined. Prove that the set of ramification points $\left\{p \in R: v_{f}(p)>1\right\}$ is finite. State the Riemann-Hurwitz formula.

  Now suppose that $R$ and $S$ have the same genus $g$. Prove that, if $g>1$, then $f$ is biholomorphic. In the case when $g=1$, write down an example where $f$ is not biholomorphic.

  [The inverse mapping theorem for holomorphic functions on domains in $\mathbb{C}$ may be assumed without proof if accurately stated.]

  (ii) Let $Y$ be a non-singular algebraic curve in $\mathbb{C}^{2}$. Describe, without detailed proofs, a family of charts for $Y$, so that the restrictions to $Y$ of the first and second projections $\mathbb{C}^{2} \rightarrow \mathbb{C}$ are holomorphic maps. Show that the algebraic curve

  $$Y=\left\{(s, t) \in \mathbb{C}^{2}: t^{4}=\left(s^{2}-1\right)(s-4)\right\}$$

  is non-singular. Find all the ramification points of the $\operatorname{map} f: Y \rightarrow \mathbb{C} ;(s, t) \mapsto s$.

  comment

• 4.II.23F

  Riemann Surfaces

  Part II, 2007

  Let $R$ be a Riemann surface, $\widetilde{R}$ a topological surface, and $p: \widetilde{R} \rightarrow R$ a continuous map. Suppose that every point $x \in \widetilde{R}$ admits a neighbourhood $\widetilde{U}$ such that $p$ maps $\widetilde{U}$ homeomorphically onto its image. Prove that $\widetilde{R}$ has a complex structure such that $p$ is a holomorphic map.

  A holomorphic map $\pi: Y \rightarrow X$ between Riemann surfaces is called a covering map if every $x \in X$ has a neighbourhood $V$ with $\pi^{-1}(V)$ a disjoint union of open sets $W_{k}$ in $Y$, so that $\pi: W_{k} \rightarrow V$ is biholomorphic for each $W_{k}$. Suppose that a Riemann surface $Y$ admits a holomorphic covering map from the unit $\operatorname{disc}\{z \in \mathbb{C}:|z|<1\}$. Prove that any holomorphic map $\mathbb{C} \rightarrow Y$ is constant.

  [You may assume any form of the monodromy theorem and basic results about the lifts of paths, provided that these are accurately stated.]

  comment

• 1.II.24H

  Differential Geometry

  Part II, 2007

  Let $f: X \rightarrow Y$ be a smooth map between manifolds without boundary. Recall that $f$ is a submersion if $d f_{x}: T_{x} X \rightarrow T_{f(x)} Y$ is surjective for all $x \in X$. The canonical submersion is the standard projection of $\mathbb{R}^{k}$ onto $\mathbb{R}^{l}$ for $k \geqslant l$, given by

  $$\left(x_{1}, \ldots, x_{k}\right) \mapsto\left(x_{1}, \ldots, x_{l}\right)$$

  (i) Let $f$ be a submersion, $x \in X$ and $y=f(x)$. Show that there exist local coordinates around $x$ and $y$ such that $f$, in these coordinates, is the canonical submersion. [You may assume the inverse function theorem.]

  (ii) Show that submersions map open sets to open sets.

  (iii) If $X$ is compact and $Y$ connected, show that every submersion is surjective. Are there submersions of compact manifolds into Euclidean spaces $\mathbb{R}^{k}$ with $k \geqslant 1$ ?

  comment

• 2.II.24H

  Differential Geometry

  Part II, 2007

  (i) What is a minimal surface? Explain why minimal surfaces always have non-positive Gaussian curvature.

  (ii) A smooth map $f: S_{1} \rightarrow S_{2}$ between two surfaces in 3-space is said to be conformal if

  $$\left\langle d f_{p}\left(v_{1}\right), d f_{p}\left(v_{2}\right)\right\rangle=\lambda(p)\left\langle v_{1}, v_{2}\right\rangle$$

  for all $p \in S_{1}$ and all $v_{1}, v_{2} \in T_{p} S_{1}$, where $\lambda(p) \neq 0$ is a number which depends only on $p$.

  Let $S$ be a surface without umbilical points. Prove that $S$ is a minimal surface if and only if the Gauss map $N: S \rightarrow S^{2}$ is conformal.

  (iii) Show that isothermal coordinates exist around a non-planar point in a minimal surface.

  comment

• 3.II.23H

  Differential Geometry

  Part II, 2007

  (i) Let $f: X \rightarrow Y$ be a smooth map between manifolds without boundary. Define critical point, critical value and regular value. State Sard's theorem.

  (ii) Explain how to define the degree modulo 2 of a smooth map $f$, indicating clearly the hypotheses on $X$ and $Y$. Show that a smooth map with non-zero degree modulo 2 must be surjective.

  (iii) Let $S$ be the torus of revolution obtained by rotating the circle $(y-2)^{2}+z^{2}=1$ in the $y z$-plane around the $z$-axis. Describe the critical points and the critical values of the Gauss map $N$ of $S$. Find the degree modulo 2 of $N$. Justify your answer by means of a sketch or otherwise.

  comment

• 4.II.24H

  Differential Geometry

  Part II, 2007

  (i) What is a geodesic? Show that geodesics are critical points of the energy functional.

  (ii) Let $S$ be a surface which admits a parametrization $\phi(u, v)$ defined on an open subset $W$ of $\mathbb{R}^{2}$ such that $E=G=U+V$ and $F=0$, where $U=U(u)$ is a function of $u$ alone and $V=V(v)$ is a function of $v$ alone. Let $\gamma: I \rightarrow \phi(W)$ be a geodesic and write $\gamma(t)=\phi(u(t), v(t))$. Show that

  $$[U(u(t))+V(v(t))]\left[V(v(t)) \dot{u}^{2}-U(u(t)) \dot{v}^{2}\right]$$

  is independent of $t$.

  comment

• 1.II.25J

  Probability and Measure

  Part II, 2007

  Let $E$ be a set and $\mathcal{E} \subseteq \mathcal{P}(E)$ be a set system.

  (a) Explain what is meant by a $\pi$-system, a $d$-system and a $\sigma$-algebra.

  (b) Show that $\mathcal{E}$ is a $\sigma$-algebra if and only if $\mathcal{E}$ is a $\pi$-system and a $d$-system.

  (c) Which of the following set systems $\mathcal{E}_{1}, \mathcal{E}_{2}, \mathcal{E}_{3}$ are $\pi$-systems, $d$-systems or $\sigma$-algebras? Justify your answers. ( $\#(A)$ denotes the number of elements in $A$.)

  $E_{1}=\{1,2, \ldots, 10\}$ and $\mathcal{E}_{1}=\left\{A \subseteq E_{1}: \#(A)\right.$ is even $\}$,

  $E_{2}=\mathbb{N}=\{1,2, \ldots\}$ and $\mathcal{E}_{2}=\left\{A \subseteq E_{2}: \#(A)\right.$ is even or $\left.\#(A)=\infty\right\}$,

  $E_{3}=\mathbb{R}$ and $\mathcal{E}_{3}=\{(a, b): a, b \in \mathbb{R}, a<b\} \cup\{\emptyset\} .$

  (d) State and prove the theorem on the uniqueness of extension of a measure.

  [You may use standard results from the lectures without proof, provided they are clearly stated.]

  comment

• 2.II.25J

  Probability and Measure

  Part II, 2007

  (a) State and prove the first Borel-Cantelli lemma. State the second Borel-Cantelli lemma.

  (b) Let $X_{1}, X_{2}, \ldots$ be a sequence of independent random variables that converges in probability to the limit $X$. Show that $X$ is almost surely constant.

  A sequence $X_{1}, X_{2}, \ldots$ of random variables is said to be completely convergent to $X$ if

  $$\sum_{n \in \mathbb{N}} \mathbb{P}\left(A_{n}(\epsilon)\right)<\infty \quad \text { for all } \epsilon>0, \quad \text { where } A_{n}(\epsilon)=\left\{\left|X_{n}-X\right|>\epsilon\right\}$$

  (c) Show that complete convergence implies almost sure convergence.

  (d) Show that, for sequences of independent random variables, almost sure convergence also implies complete convergence.

  (e) Find a sequence of (dependent) random variables that converges almost surely but does not converge completely.

  comment

• 3.II.24J

  Probability and Measure

  Part II, 2007

  Let $(E, \mathcal{E}, \mu)$ be a finite measure space, i.e. $\mu(E)<\infty$, and let $1 \leqslant p \leqslant \infty$.

  (a) Define the $L^{p}$-norm $\|f\|_{p}$ of a measurable function $f: E \rightarrow \overline{\mathbb{R}}$, define the space $L^{p}(E, \mathcal{E}, \mu)$ and define convergence in $L^{p} .$

  In the following you may use inequalities from the lectures without proof, provided they are clearly stated.

  (b) Let $f, f_{1}, f_{2}, \ldots \in L^{p}(E, \mathcal{E}, \mu)$. Show that $f_{n} \rightarrow f$ in $L^{p}$ implies $\left\|f_{n}\right\|_{p} \rightarrow\|f\|_{p}$.

  (c) Let $f: E \rightarrow \mathbb{R}$ be a bounded measurable function with $\|f\|_{\infty}>0$. Let

  $$M_{n}=\int_{E}|f|^{n} d \mu$$

  Show that $M_{n} \in(0, \infty)$ and $M_{n+1} M_{n-1} \geqslant M_{n}^{2}$.

  By using Jensen's inequality, or otherwise, show that

  $$\mu(E)^{-1 / n}\|f\|_{n} \leqslant M_{n+1} / M_{n} \leqslant\|f\|_{\infty}$$

  Prove that $\lim _{n \rightarrow \infty} M_{n+1} / M_{n}=\|f\|_{\infty} .$

  $\left[\right.$ Observe that $\left.|f| \geqslant 1_{\left\{|f|>\|f\|_{\infty}-\epsilon\right\}}\left(\|f\|_{\infty}-\epsilon\right) .\right]$

  comment

• 4.II.25J

  Probability and Measure

  Part II, 2007

  Let $(E, \mathcal{E}, \mu)$ be a measure space with $\mu(E)<\infty$ and let $\theta: E \rightarrow E$ be measurable.

  (a) Define an invariant set $A \in \mathcal{E}$ and an invariant function $f: E \rightarrow \mathbb{R}$.

  What is meant by saying that $\theta$ is measure-preserving?

  What is meant by saying that $\theta$ is ergodic?

  (b) Which of the following functions $\theta_{1}$ to $\theta_{4}$ is ergodic? Justify your answer.

  On the measure space $([0,1], \mathcal{B}([0,1]), \mu)$ with Lebesgue measure $\mu$ consider

  $$\theta_{1}(x)=1+x, \quad \theta_{2}(x)=x^{2}, \quad \theta_{3}(x)=1-x$$

  On the discrete measure space $\left(\{-1,1\}, \mathcal{P}(\{-1,1\}), \frac{1}{2} \delta_{-1}+\frac{1}{2} \delta_{1}\right)$ consider

  $$\theta_{4}(x)=-x$$

  (c) State Birkhoff's almost everywhere ergodic theorem.

  (d) Let $\theta$ be measure-preserving and let $f: E \rightarrow \mathbb{R}$ be bounded.

  Prove that $\frac{1}{n}\left(f+f \circ \theta+\ldots+f \circ \theta^{n-1}\right)$ converges in $L^{p}$ for all $p \in[1, \infty)$.

  comment

• 1.II.26J

  Applied Probability

  Part II, 2007

  An open air rock concert is taking place in beautiful Pine Valley, and enthusiastic fans from the entire state of Alifornia are heading there long before the much anticipated event. The arriving cars have to be directed to one of three large (practically unlimited) parking lots, $a, b$ and $c$ situated near the valley entrance. The traffic cop at the entrance to the valley decides to direct every third car (in the order of their arrival) to a particular lot. Thus, cars $1,4,7,10$ and so on are directed to lot $a$, cars $2,5,8,11$ to lot $b$ and cars $3,6,9,12$ to lot $c$.

  Suppose that the total arrival process $N(t), t \geqslant 0$, at the valley entrance is Poisson, of rate $\lambda>0$ (the initial time $t=0$ is taken to be considerably ahead of the actual event). Consider the processes $X^{a}(t), X^{b}(t)$ and $X^{c}(t)$ where $X^{i}(t)$ is the number of cars arrived in lot $i$ by time $t, i=a, b, c$. Assume for simplicity that the time to reach a parking lot from the entrance is negligible so that the car enters its specified lot at the time it crosses the valley entrance.

  (a) Give the probability density function of the time of the first arrival in each of the processes $X^{a}(t), X^{b}(t), X^{c}(t)$.

  (b) Describe the distribution of the time between two subsequent arrivals in each of these processes. Are these times independent? Justify your answer.

  (c) Which of these processes are delayed renewal processes (where the distribution of the first arrival time differs from that of the inter-arrival time)?

  (d) What are the corresponding equilibrium renewal processes?

  (e) Describe how the direction rule should be changed for $X^{a}(t), X^{b}(t)$ and $X^{c}(t)$ to become Poisson processes, of rate $\lambda / 3$. Will these Poisson processes be independent? Justify your answer.

  comment

• 2.II.26J

  Applied Probability

  Part II, 2007

  In this question we work with a continuous-time Markov chain where the rate of jump $i \rightarrow j$ may depend on $j$ but not on $i$. A virus can be in one of $s$ strains $1, \ldots, s$, and it mutates to strain $j$ with rate $r_{j} \geqslant 0$ from each strain $i \neq j$. (Mutations are caused by the chemical environment.) Set $R=r_{1}+\ldots+r_{s}$.

  (a) Write down the Q-matrix (the generator) of the chain $\left(X_{t}\right)$ in terms of $r_{j}$ and $R$.

  (b) If $R=0$, that is, $r_{1}=\ldots=r_{s}=0$, what are the communicating classes of the chain $\left(X_{t}\right)$ ?

  (c) From now on assume that $R>0$. State and prove a necessary and sufficient condition, in terms of the numbers $r_{j}$, for the chain $\left(X_{t}\right)$ to have a single communicating class (which therefore should be closed).

  (d) In general, what is the number of closed communicating classes in the chain $\left(X_{t}\right)$ ? Describe all open communicating classes of $\left(X_{t}\right)$.

  (e) Find the equilibrium distribution of $\left(X_{t}\right)$. Is the chain $\left(X_{t}\right)$ reversible? Justify your answer.

  (f) Write down the transition matrix $\widehat{P}=\left(\widehat{p}_{i j}\right)$ of the discrete-time jump chain for $\left(X_{t}\right)$ and identify its equilibrium distribution. Is the jump chain reversible? Justify your answer.

  comment

• 3.II.25J

  Applied Probability

  Part II, 2007

  For a discrete-time Markov chain, if the probability of transition $i \rightarrow j$ does not depend on $i$ then the chain is reduced to a sequence of independent random variables (states). In this case, the chain forgets about its initial state and enters equilibrium after a single transition. In the continuous-time case, a Markov chain whose rates $q_{i j}$ of transition $i \rightarrow j$ depend on $j$ but not on $i \neq j$ still 'remembers' its initial state and reaches equilibrium only in the limit as the time grows indefinitely. This question is an illustration of this property.

  A protean sea sponge may change its colour among $s$ varieties $1, \ldots, s$, under the influence of the environment. The rate of transition from colour $i$ to $j$ equals $r_{j} \geqslant 0$ and does not depend on $i, i \neq j$. Consider a Q-matrix $Q=\left(q_{i j}\right)$ with entries

  $$q_{i j}= \begin{cases}r_{j}, & i \neq j \\ -R+r_{i}, & i=j\end{cases}$$

  where $R=r_{1}+\ldots+r_{s}$. Assume that $R>0$ and let $\left(X_{t}\right)$ be the continuous-time Markov chain with generator $Q$. Given $t \geqslant 0$, let $P(t)=\left(p_{i j}(t)\right)$ be the matrix of transition probabilities in time $t$ in chain $\left(X_{t}\right)$.

  (a) State the exponential relation between the matrices $Q$ and $P(t)$.

  (b) Set $\pi_{j}=r_{j} / R, j=1, \ldots, s$. Check that $\pi_{1}, \ldots, \pi_{s}$ are equilibrium probabilities for the chain $\left(X_{t}\right)$. Is this a unique equilibrium distribution? What property of the vector with entries $\pi_{j}$ relative to the matrix $Q$ is involved here?

  (c) Let $\mathbf{x}$ be a vector with components $x_{1}, \ldots, x_{s}$ such that $x_{1}+\ldots+x_{s}=0$. Show that $\mathbf{x}^{\mathrm{T}} Q=-R \mathbf{x}^{\mathrm{T}}$. Compute $\mathbf{x}^{\mathrm{T}} P(t)$

  (d) Now let $\delta_{i}$ denote the (column) vector whose entries are 0 except for the $i$ th one which equals 1. Observe that the $i$ th row of $P(t)$ is $\delta_{i}^{\mathrm{T}} P(t)$. Prove that $\delta_{i}^{\mathrm{T}} P(t)=\pi^{\mathrm{T}}+e^{-t R}\left(\delta_{i}^{\mathrm{T}}-\pi^{\mathrm{T}}\right) .$

  (e) Deduce the expression for transition probabilities $p_{i j}(t)$ in terms of rates $r_{j}$ and their sum $R$.

  comment

• 4.II.26J

  Applied Probability

  Part II, 2007

  A population of rare Monarch butterflies functions as follows. At the times of a Poisson process of rate $\lambda$ a caterpillar is produced from an egg. After an exponential time, the caterpillar is transformed into a pupa which, after an exponential time, becomes a butterfly. The butterfly lives for another exponential time and then dies. (The Poissonian assumption reflects the fact that butterflies lay a huge number of eggs most of which do not develop.) Suppose that all lifetimes are independent (of the arrival process and of each other) and let their rate be $\mu$. Assume that the population is in an equilibrium and let $C$ be the number of caterpillars, $R$ the number of pupae and $B$ the number of butterflies (so that the total number of insects, in any metamorphic form, equals $N=C+R+B)$. Let $\pi_{(c, r, b)}$ be the equilibrium probability $\mathbb{P}(C=c, R=r, B=b)$ where $c, r, b=0,1, \ldots$

  (a) Specify the rates of transitions $(c, r, b) \rightarrow\left(c^{\prime}, r^{\prime}, b^{\prime}\right)$ for the resulting continuous-time Markov chain $\left(X_{t}\right)$ with states $(c, r, b)$. (The rates are non-zero only when $c^{\prime}=c$ or $c^{\prime}=c \pm 1$ and similarly for other co-ordinates.) Check that the holding rate for state $(c, r, b)$ is $\lambda+\mu n$ where $n=c+r+b$.

  (b) Let $Q$ be the Q-matrix from (a). Consider the invariance equation $\pi Q=0$. Verify that the only solution is

  $$\pi_{(c, r, b)}=\frac{(3 \lambda / \mu)^{n}}{3^{n} c ! r ! b !} \exp \left(-\frac{3 \lambda}{\mu}\right), \quad n=c+r+b$$

  (c) Derive the marginal equilibrium probabilities $\mathbb{P}(N=n)$ and the conditional equilibrium probabilities $\mathbb{P}(C=c, R=r, B=b \mid N=n)$.

  (d) Determine whether the chain $\left(X_{t}\right)$ is positive recurrent, null-recurrent or transient.

  (e) Verify that the equilibrium probabilities $\mathbb{P}(N=n)$ are the same as in the corresponding $M / G I / \infty$ system (with the correct specification of the arrival rate and the service-time distribution).

  comment

• 1.II.27I

  Principles of Statistics

  Part II, 2007

  Suppose that $X$ has density $f(\cdot \mid \theta)$ where $\theta \in \Theta$. What does it mean to say that statistic $T \equiv T(X)$ is sufficient for $\theta$ ?

  Suppose that $\theta=(\psi, \lambda)$, where $\psi$ is the parameter of interest, and $\lambda$ is a nuisance parameter, and that the sufficient statistic $T$ has the form $T=(C, S)$. What does it mean to say that the statistic $S$ is ancillary? If it is, how (according to the conditionality principle) do we test hypotheses on $\psi ?$ Assuming that the set of possible values for $X$ is discrete, show that $S$ is ancillary if and only if the density (probability mass function) $f(x \mid \psi, \lambda)$ factorises as

  $$f(x \mid \psi, \lambda)=\varphi_{0}(x) \varphi_{C}(C(x), S(x), \psi) \varphi_{S}(S(x), \lambda)$$

  for some functions $\varphi_{0}, \varphi_{C}$, and $\varphi_{S}$ with the properties

  $$\sum_{x \in C^{-1}(c) \cap S^{-1}(s)} \varphi_{0}(x)=1=\sum_{s} \varphi_{S}(s, \lambda)=\sum_{s} \sum_{c} \varphi_{C}(c, s, \psi)$$

  for all $c, s, \psi$, and $\lambda$.

  Suppose now that $X_{1}, \ldots, X_{n}$ are independent observations from a $\Gamma(a, b)$ distribution, with density

  $$f(x \mid a, b)=(b x)^{a-1} e^{-b x} b I_{\{x>0\}} / \Gamma(a) .$$

  Assuming that the criterion (*) holds also for observations which are not discrete, show that it is not possible to find $(C(X), S(X))$ sufficient for $(a, b)$ such that $S$ is ancillary when $b$ is regarded as a nuisance parameter, and $a$ is the parameter of interest.

  comment

• 2.II.27I

  Principles of Statistics

  Part II, 2007

  (i) State Wilks' likelihood ratio test of the null hypothesis $H_{0}: \theta \in \Theta_{0}$ against the alternative $H_{1}: \theta \in \Theta_{1}$, where $\Theta_{0} \subset \Theta_{1}$. Explain when this test may be used.

  (ii) Independent identically-distributed observations $X_{1}, \ldots, X_{n}$ take values in the set $S=\{1, \ldots, K\}$, with common distribution which under the null hypothesis is of the form

  $$P\left(X_{1}=k \mid \theta\right)=f(k \mid \theta) \quad(k \in S)$$

  for some $\theta \in \Theta_{0}$, where $\Theta_{0}$ is an open subset of some Euclidean space $\mathbb{R}^{d}$, $d<K-1$. Under the alternative hypothesis, the probability mass function of the $X_{i}$ is unrestricted.

  Assuming sufficient regularity conditions on $f$ to guarantee the existence and uniqueness of a maximum-likelihood estimator $\hat{\theta}_{n}\left(X_{1}, \ldots, X_{n}\right)$ of $\theta$ for each $n$, show that for large $n$ the Wilks' likelihood ratio test statistic is approximately of the form

  $$\sum_{j=1}^{K}\left(N_{j}-n \hat{\pi}_{j}\right)^{2} / N_{j}$$

  where $N_{j}=\sum_{i=1}^{n} I_{\left\{X_{i}=j\right\}}$, and $\hat{\pi}_{j}=f\left(j \mid \hat{\theta}_{n}\right)$. What is the asymptotic distribution of this statistic?

  comment

• 3.II.26I

  Principles of Statistics

  Part II, 2007

  (i) In the context of decision theory, what is a Bayes rule with respect to a given loss function and prior? What is an extended Bayes rule?

  Characterise the Bayes rule with respect to a given prior in terms of the posterior distribution for the parameter given the observation. When $\Theta=\mathcal{A}=\mathbb{R}^{d}$ for some $d$, and the loss function is $L(\theta, a)=\|\theta-a\|^{2}$, what is the Bayes rule?

  (ii) Suppose that $\mathcal{A}=\Theta=\mathbb{R}$, with loss function $L(\theta, a)=(\theta-a)^{2}$ and suppose further that under $P_{\theta}, X \sim N(\theta, 1)$.

  Supposing that a $N\left(0, \tau^{-1}\right)$ prior is taken over $\theta$, compute the Bayes risk of the decision rule $d_{\lambda}(X)=\lambda X$. Find the posterior distribution of $\theta$ given $X$, and confirm that its mean is of the form $d_{\lambda}(X)$ for some value of $\lambda$ which you should identify. Hence show that the decision rule $d_{1}$ is an extended Bayes rule.

  comment

• 4.II.27I

  Principles of Statistics

  Part II, 2007

  Assuming sufficient regularity conditions on the likelihood $f(x \mid \theta)$ for a univariate parameter $\theta \in \Theta$, establish the Cramér-Rao lower bound for the variance of an unbiased estimator of $\theta$.

  If $\hat{\theta}(X)$ is an unbiased estimator of $\theta$ whose variance attains the Cramér-Rao lower bound for every value of $\theta \in \Theta$, show that the likelihood function is an exponential family.

  comment

• 1.II.28J

  Stochastic Financial Models

  Part II, 2007

  (i) What does it mean to say that a process $\left(M_{t}\right)_{t \geqslant 0}$ is a martingale? What does the martingale convergence theorem tell us when applied to positive martingales?

  (ii) What does it mean to say that a process $\left(B_{t}\right)_{t \geqslant 0}$ is a Brownian motion? Show that $\sup _{t \geqslant 0} B_{t}=\infty$ with probability one.

  (iii) Suppose that $\left(B_{t}\right)_{t \geqslant 0}$ is a Brownian motion. Find $\mu$ such that

  $$S_{t}=\exp \left(x_{0}+\sigma B_{t}+\mu t\right)$$

  is a martingale. Discuss the limiting behaviour of $S_{t}$ and $\mathbb{E}\left(S_{t}\right)$ for this $\mu$ as $t \rightarrow \infty$.

  comment

• 2.II.28J

  Stochastic Financial Models

  Part II, 2007

  In the context of a single-period financial market with $n$ traded assets, what is an arbitrage? What is an equivalent martingale measure?

  Fix $\epsilon \in(0,1)$ and consider the following single-period market with 3 assets:

  Asset 1 is a riskless bond and pays no interest.

  Asset 2 is a stock with initial price $£ 1$ per share; its possible final prices are $u=1+\epsilon$ with probability $3 / 5$ and $d=1-\epsilon$ with probability $2 / 5$.

  Asset 3 is another stock that behaves like an independent copy of asset 2 .

  Find all equivalent martingale measures for the problem and characterise all contingent claims that can be replicated.

  Consider a contingent claim $Y$ that pays 1 if both risky assets move in the same direction and zero otherwise. Show that the lower arbitrage bound, simply obtained by calculating all possible prices as the pricing measure ranges over all equivalent martingale measures, is zero. Why might someone pay for such a contract?

  comment

• 3.II.27J

  Stochastic Financial Models

  Part II, 2007

  Suppose that over two periods a stock price moves on a binomial tree

  

  (i) Determine for what values of the riskless rate $r$ there is no arbitrage. From here on, fix $r=1 / 4$ and determine the equivalent martingale measure.

  (ii) Find the time-zero price and replicating portfolio for a European put option with strike 15 and expiry $2 .$

  (iii) Find the time-zero price and optimal exercise policy for an American put option with the same strike and expiry.

  (iv) Deduce the corresponding (European and American) call option prices for the same strike and expiry.

  comment

• 4.II.28J

  Stochastic Financial Models

  Part II, 2007

  Briefly describe the Black-Scholes model. Consider a "cash-or-nothing" option with strike price $K$, i.e. an option whose payoff at maturity is

  $$f\left(S_{T}\right)= \begin{cases}1 & \text { if } \quad S_{T}>K \\ 0 & \text { if } \quad S_{T} \leqslant K\end{cases}$$

  It can be interpreted as a bet that the stock will be worth at least $K$ at time $T$. Find a formula for its value at time $t$, in terms of the spot price $S_{t}$. Find a formula for its Delta (i.e. its hedge ratio). How does the Delta behave as $t \rightarrow T$ ? Why is it difficult, in practice, to hedge such an instrument?

  comment

• 2.II.29I

  Optimization and Control

  Part II, 2007

  State Pontryagin's maximum principle in the case where both the terminal time and the terminal state are given.

  Show that $\pi$ is the minimum value taken by the integral

  $$\frac{1}{2} \int_{0}^{1}\left(u_{t}^{2}+v_{t}^{2}\right) d t$$

  subject to the constraints $x_{0}=y_{0}=z_{0}=x_{1}=y_{1}=0$ and $z_{1}=1$, where

  $$\dot{x}_{t}=u_{t}, \quad \dot{y}_{t}=v_{t}, \quad \dot{z}_{t}=u_{t} y_{t}-v_{t} x_{t}, \quad 0 \leqslant t \leqslant 1$$

  [You may find it useful to note the fact that the problem is rotationally symmetric about the $z$-axis, so that the angle made by the initial velocity $\left(\dot{x}_{0}, \dot{y}_{0}\right)$ with the positive $x$-axis may be chosen arbitrarily.]

  comment

• 3.II.28I

  Optimization and Control

  Part II, 2007

  Let $P$ be a discrete-time controllable dynamical system (or Markov decision process) with countable state-space $S$ and action-space $A$. Consider the $n$-horizon dynamic optimization problem with instantaneous costs $c(k, x, a)$, on choosing action $a$ in state $x$ at time $k \leqslant n-1$, with terminal cost $C(x)$, in state $x$ at time $n$. Explain what is meant by a Markov control and how the choice of a control gives rise to a time-inhomogeneous Markov chain.

  Suppose we can find a bounded function $V$ and a Markov control $u^{*}$ such that

  $$V(k, x) \leqslant(c+P V)(k, x, a), \quad 0 \leqslant k \leqslant n-1, \quad x \in S, \quad a \in A$$

  with equality when $a=u^{*}(k, x)$, and such that $V(n, x)=C(x)$ for all $x$. Here $P V(k, x, a)$ denotes the expected value of $V\left(k+1, X_{k+1}\right)$, given that we choose action $a$ in state $x$ at time $k$. Show that $u^{*}$ is an optimal Markov control.

  A well-shuffled pack of cards is placed face-down on the table. The cards are turned over one by one until none are left. Exactly once you may place a bet of $£ 1000$ on the event that the next two cards will be red. How should you choose the moment to bet? Justify your answer.

  comment

• 4.II.29I

  Optimization and Control

  Part II, 2007

  Consider the scalar controllable linear system, whose state $X_{n}$ evolves by

  $$X_{n+1}=X_{n}+U_{n}+\varepsilon_{n+1}$$

  with observations $Y_{n}$ given by

  $$Y_{n+1}=X_{n}+\eta_{n+1}$$

  Here, $U_{n}$ is the control variable, which is to be determined on the basis of the observations up to time $n$, and $\varepsilon_{n}, \eta_{n}$ are independent $N(0,1)$ random variables. You wish to minimize the long-run average expected cost, where the instantaneous cost at time $n$ is $X_{n}^{2}+U_{n}^{2}$. You may assume that the optimal control in equilibrium has the form $U_{n}=-K \hat{X}_{n}$, where $\hat{X}_{n}$ is given by a recursion of the form

  $$\hat{X}_{n+1}=\hat{X}_{n}+U_{n}+H\left(Y_{n+1}-\hat{X}_{n}\right)$$

  and where $H$ is chosen so that $\Delta_{n}=X_{n}-\hat{X}_{n}$ is independent of the observations up to time $n$. Show that $K=H=(\sqrt{5}-1) / 2=2 /(\sqrt{5}+1)$, and determine the minimal long-run average expected cost. You are not expected to simplify the arithmetic form of your answer but should show clearly how you have obtained it.

  comment

• 1.II.29A

  Partial Differential Equations

  Part II, 2007

  (i) Consider the problem of solving the equation

  $$\sum_{j=1}^{n} a_{j}(\mathbf{x}) \frac{\partial u}{\partial x_{j}}=b(\mathbf{x}, u)$$

  for a $C^{1}$ function $u=u(\mathbf{x})=u\left(x_{1}, \ldots, x_{n}\right)$, with data specified on a $C^{1}$ hypersurface $\mathcal{S} \subset \mathbb{R}^{n}$

  $$u(\mathbf{x})=\phi(\mathbf{x}), \quad \forall \mathbf{x} \in \mathcal{S}$$

  Assume that $a_{1}, \ldots, a_{n}, \phi, b$ are $C^{1}$ functions. Define the characteristic curves and explain what it means for the non-characteristic condition to hold at a point on $\mathcal{S}$. State a local existence and uniqueness theorem for the problem.

  (ii) Consider the case $n=2$ and the equation

  $$\frac{\partial u}{\partial x_{1}}-\frac{\partial u}{\partial x_{2}}=x_{2} u$$

  with data $u\left(x_{1}, 0\right)=\phi\left(x_{1}, 0\right)=f\left(x_{1}\right)$ specified on the axis $\left\{\mathbf{x} \in \mathbb{R}^{2}: x_{2}=0\right\}$. Obtain a formula for the solution.

  (iii) Consider next the case $n=2$ and the equation

  $$\frac{\partial u}{\partial x_{1}}-\frac{\partial u}{\partial x_{2}}=0$$

  with data $u(\mathbf{g}(s))=\phi(\mathbf{g}(s))=f(s)$ specified on the hypersurface $\mathcal{S}$, which is given parametrically as $\mathcal{S} \equiv\left\{\mathbf{x} \in \mathbb{R}^{2}: \mathbf{x}=\mathbf{g}(s)\right\}$ where $\mathbf{g}: \mathbb{R} \rightarrow \mathbb{R}^{2}$ is defined by

  $$\begin{aligned} &\mathbf{g}(s)=(s, 0), \quad s<0 \\ &\mathbf{g}(s)=\left(s, s^{2}\right), \quad s \geqslant 0 \end{aligned}$$

  Find the solution $u$ and show that it is a global solution. (Here "global" means $u$ is $C^{1}$ on all of $\mathbb{R}^{2}$.)

  (iv) Consider next the equation

  $$\frac{\partial u}{\partial x_{1}}+\frac{\partial u}{\partial x_{2}}=0$$

  to be solved with the same data given on the same hypersurface as in (iii). Explain, with reference to the characteristic curves, why there is generally no global $C^{1}$ solution. Discuss the existence of local solutions defined in some neighbourhood of a given point $\mathbf{y} \in \mathcal{S}$ for various $\mathbf{y}$. [You need not give formulae for the solutions.]

  comment

• 2.II.30A

  Partial Differential Equations

  Part II, 2007

  Define (i) the Fourier transform of a tempered distribution $T \in \mathcal{S}^{\prime}\left(\mathbb{R}^{3}\right)$, and (ii) the convolution $T * g$ of a tempered distribution $T \in \mathcal{S}^{\prime}\left(\mathbb{R}^{3}\right)$ and a Schwartz function $g \in \mathcal{S}\left(\mathbb{R}^{3}\right)$. Give a formula for the Fourier transform of $T * g$ ("convolution theorem").

  Let $t>0$. Compute the Fourier transform of the tempered distribution $A_{t} \in \mathcal{S}^{\prime}\left(\mathbb{R}^{3}\right)$ defined by

  $$\left\langle A_{t}, \phi\right\rangle=\int_{\|y\|=t} \phi(y) d \Sigma(y), \quad \forall \phi \in \mathcal{S}\left(\mathbb{R}^{3}\right),$$

  and deduce the Kirchhoff formula for the solution $u(t, x)$ of

  $$\begin{gathered} \frac{\partial^{2} u}{\partial t^{2}}-\Delta u=0, \\ u(0, x)=0, \quad \frac{\partial u}{\partial t}(0, x)=g(x), \quad g \in \mathcal{S}\left(\mathbb{R}^{3}\right) \end{gathered}$$

  Prove, by consideration of the quantities $e=\frac{1}{2}\left(u_{t}^{2}+|\nabla u|^{2}\right)$ and $p=-u_{t} \nabla u$, that any $C^{2}$ solution is also given by the Kirchhoff formula (uniqueness).

  Prove a corresponding uniqueness statement for the initial value problem

  $$\begin{gathered} \frac{\partial^{2} w}{\partial t^{2}}-\Delta w+V(x) w=0 \\ w(0, x)=0, \quad \frac{\partial w}{\partial t}(0, x)=g(x), \quad g \in \mathcal{S}\left(\mathbb{R}^{3}\right) \end{gathered}$$

  where $V$ is a smooth positive real-valued function of $x \in \mathbb{R}^{3}$ only.

  comment

• 3.II.29A

  Partial Differential Equations

  Part II, 2007

  Write down the formula for the solution $u=u(t, x)$ for $t>0$ of the initial value problem for the heat equation in one space dimension

  $$\begin{aligned} &\frac{\partial u}{\partial t}-\frac{\partial^{2} u}{\partial x^{2}}=0 \\ &u(0, x)=g(x) \end{aligned}$$

  for $g: \mathbb{R} \rightarrow \mathbb{C}$ a given smooth bounded function.

  Define the distributional derivative of a tempered distribution $T \in \mathcal{S}^{\prime}(\mathbb{R})$. Define a fundamental solution of a constant-coefficient linear differential operator $P$, and show that the distribution defined by the function $\frac{1}{2} e^{-|x|}$ is a fundamental solution for the operator $P=-\frac{d^{2}}{d x^{2}}+1$.

  For the equation

  $$\frac{\partial u}{\partial t}-\frac{\partial^{2} u}{\partial x^{2}}=e^{t} \phi(x)$$

  where $\phi \in \mathcal{S}(\mathbb{R})$, prove that there is a unique solution of the form $e^{t} v(x)$ with $v \in \mathcal{S}(\mathbb{R})$. Hence write down the solution of $(*)$ with general initial data $u(0, x)=f(x)$ and describe the large time behaviour.

  comment

• 4.II.30A

  Partial Differential Equations

  Part II, 2007

  State and prove the mean value property for harmonic functions on $\mathbb{R}^{3}$.

  Obtain a generalization of the mean value property for sub-harmonic functions on $\mathbb{R}^{3}$, i.e. $C^{2}$ functions for which

  $$-\Delta u(x) \leqslant 0$$

  for all $x \in \mathbb{R}^{3}$.

  Let $\phi \in C^{2}\left(\mathbb{R}^{3} ; \mathbb{C}\right)$ solve the equation

  $$-\Delta \phi+i V(x) \phi=0$$

  where $V$ is a real-valued continuous function. By considering the function $w(x)=|\phi(x)|^{2}$ show that, on any ball $B(y, R)=\{x:\|x-y\|<R\} \subset \mathbb{R}^{3}$,

  $$\sup _{x \in B(y, R)}|\phi(x)| \leqslant \sup _{\|x-y\|=R}|\phi(x)| .$$

  comment

• 1.II.30B

  Asymptotic Methods

  Part II, 2007

  State Watson's lemma, describing the asymptotic behaviour of the integral

  $$I(\lambda)=\int_{0}^{A} e^{-\lambda t} f(t) d t, \quad A>0$$

  as $\lambda \rightarrow \infty$, given that $f(t)$ has the asymptotic expansion

  $$f(t) \sim t^{\alpha} \sum_{n=0}^{\infty} a_{n} t^{n \beta}$$

  as $t \rightarrow 0_{+}$, where $\beta>0$ and $\alpha>-1$.

  Give an account of Laplace's method for finding asymptotic expansions of integrals of the form

  $$J(z)=\int_{-\infty}^{\infty} e^{-z p(t)} q(t) d t$$

  for large real $z$, where $p(t)$ is real for real $t$.

  Deduce the following asymptotic expansion of the contour integral

  $$\int_{-\infty-i \pi}^{\infty+i \pi} \exp (z \cosh t) d t=2^{1 / 2} i e^{z} \Gamma\left(\frac{1}{2}\right)\left[z^{-1 / 2}+\frac{1}{8} z^{-3 / 2}+O\left(z^{-5 / 2}\right)\right]$$

  as $z \rightarrow \infty$.

  comment

• 3.II.30B

  Asymptotic Methods

  Part II, 2007

  Explain the method of stationary phase for determining the behaviour of the integral

  $$I(x)=\int_{a}^{b} d u e^{i x f(u)}$$

  for large $x$. Here, the function $f(u)$ is real and differentiable, and $a, b$ and $x$ are all real.

  Apply this method to show that the first term in the asymptotic behaviour of the function

  $$\Gamma(m+1)=\int_{0}^{\infty} d u u^{m} e^{-u}$$

  where $m=i n$ with $n>0$ and real, is

  $$\Gamma(i n+1) \sim \sqrt{2 \pi} e^{-i n} \exp \left[\left(i n+\frac{1}{2}\right)\left(\frac{i \pi}{2}+\log n\right)\right]$$

  as $n \rightarrow \infty$

  comment

• 4.II.31B

  Asymptotic Methods

  Part II, 2007

  Consider the time-independent Schrödinger equation

  $$\frac{d^{2} \psi}{d x^{2}}+\lambda^{2} q(x) \psi(x)=0$$

  where $\lambda \gg 1$ denotes $\hbar^{-1}$ and $q(x)$ denotes $2 m[E-V(x)]$. Suppose that

  and consider a bound state $\psi(x)$. Write down the possible Liouville-Green approximate solutions for $\psi(x)$ in each region, given that $\psi \rightarrow 0$ as $|x| \rightarrow \infty$.

  Assume that $q(x)$ may be approximated by $q^{\prime}(a)(x-a)$ near $x=a$, where $q^{\prime}(a)>0$, and by $q^{\prime}(b)(x-b)$ near $x=b$, where $q^{\prime}(b)<0$. The Airy function $\operatorname{Ai}(z)$ satisfies

  $$\frac{d^{2}(\mathrm{Ai})}{d z^{2}}-z(\mathrm{Ai})=0$$

  and has the asymptotic expansions

  $$\operatorname{Ai}(z) \sim \frac{1}{2} \pi^{-1 / 2} z^{-1 / 4} \exp \left(-\frac{2}{3} z^{3 / 2}\right) \quad \text { as } \quad z \rightarrow+\infty$$

  and

  $$\operatorname{Ai}(z) \sim \pi^{-1 / 2}|z|^{-1 / 4} \cos \left[\left(\frac{2}{3}|z|^{3 / 2}\right)-\frac{\pi}{4}\right] \quad \text { as } \quad z \rightarrow-\infty .$$

  Deduce that the energies $E$ of bound states are given approximately by the WKB condition:

  $$\lambda \int_{a}^{b} q^{1 / 2}(x) d x=\left(n+\frac{1}{2}\right) \pi \quad(n=0,1,2, \ldots)$$

  $$\begin{aligned} & q(x)>0 \quad \text { for } \quad a<x<b \\ & \text { and } q(x)<0 \text { for }-\infty<x<a \text { and } b<x<\infty \end{aligned}$$

  comment

• 1.II.31E

  Integrable Systems

  Part II, 2007

  (i) Using the Cole-Hopf transformation

  $$u=-\frac{2 \nu}{\phi} \frac{\partial \phi}{\partial x}$$

  map the Burgers equation

  $$\frac{\partial u}{\partial t}+u \frac{\partial u}{\partial x}=\nu \frac{\partial^{2} u}{\partial x^{2}}$$

  to the heat equation

  $$\frac{\partial \phi}{\partial t}=\nu \frac{\partial^{2} \phi}{\partial x^{2}}$$

  (ii) Given that the solution of the heat equation on the infinite line $\mathbb{R}$ with initial condition $\phi(x, 0)=\Phi(x)$ is given by

  $$\phi(x, t)=\frac{1}{\sqrt{4 \pi \nu t}} \int_{-\infty}^{\infty} \Phi(\xi) e^{-\frac{(x-\xi)^{2}}{4 \nu t}} d \xi$$

  show that the solution of the analogous problem for the Burgers equation with initial condition $u(x, 0)=U(x)$ is given by

  $$u=\frac{\int_{-\infty}^{\infty} \frac{x-\xi}{t} e^{-\frac{1}{2 \nu} G(x, \xi, t)} d \xi}{\int_{-\infty}^{\infty} e^{-\frac{1}{2 \nu} G(x, \xi, t)} d \xi}$$

  where the function $G$ is to be determined in terms of $U$.

  (iii) Determine the ODE characterising the scaling reduction of the spherical modified Korteweg-de Vries equation

  $$\frac{\partial u}{\partial t}+6 u^{2} \frac{\partial u}{\partial x}+\frac{\partial^{3} u}{\partial x^{3}}+\frac{u}{t}=0$$

  comment

• 2.II.31E

  Integrable Systems

  Part II, 2007

  Solve the following linear singular equation

  $$\left(t+t^{-1}\right) \phi(t)+\frac{\left(t-t^{-1}\right)}{\pi i} f_{C} \frac{\phi(\tau)}{\tau-t} d \tau-\frac{\left(t+t^{-1}\right)}{2 \pi i} \oint_{C}\left(\tau+2 \tau^{-1}\right) \phi(\tau) d \tau=2 t^{-1}$$

  where $C$ denotes the unit circle, $t \in C$ and $f_{C}$ denotes the principal value integral.

  comment

• 3.II.31E

  Integrable Systems

  Part II, 2007

  Find a Lax pair formulation for the linearised NLS equation

  $$i q_{t}+q_{x x}=0$$

  Use this Lax pair formulation to show that the initial value problem on the infinite line of the linearised NLS equation is associated with the following Riemann-Hilbert problem

  $$\begin{array}{ccc} M^{+}(x, t, k) & =M^{-}(x, t, k)\left(\begin{array}{cc} 1 & e^{i k x-i k^{2} t} \hat{q}_{0}(k) \\ 0 & 1 \end{array}\right), & k \in \mathbb{R} \\ M & =\left(\begin{array}{cc} 1 & 0 \\ 0 & 1 \end{array}\right)+O\left(\frac{1}{k}\right), & k \rightarrow \infty \end{array}$$

  By deforming the above problem obtain the Riemann-Hilbert problem and hence the linear integral equation associated with the following system of nonlinear evolution PDEs

  $$\begin{aligned} i q_{t}+q_{x x}-2 \vartheta q^{2} &=0 \\ -i \vartheta_{t}+\vartheta_{x x}-2 \vartheta^{2} q &=0 \end{aligned}$$

  comment

• 1.II.32D

  Principles of Quantum Mechanics

  Part II, 2007

  A particle in one dimension has position and momentum operators $\hat{x}$ and $\hat{p}$ whose eigenstates obey

  $$\left\langle x \mid x^{\prime}\right\rangle=\delta\left(x-x^{\prime}\right), \quad\left\langle p \mid p^{\prime}\right\rangle=\delta\left(p-p^{\prime}\right), \quad\langle x \mid p\rangle=(2 \pi \hbar)^{-1 / 2} e^{i x p / \hbar}$$

  Given a state $|\psi\rangle$, define the corresponding position-space and momentum-space wavefunctions $\psi(x)$ and $\tilde{\psi}(p)$ and show how each of these can be expressed in terms of the other. Derive the form taken in momentum space by the time-independent Schrödinger equation

  $$\left(\frac{\hat{p}^{2}}{2 m}+V(\hat{x})\right)|\psi\rangle=E|\psi\rangle$$

  for a general potential $V$.

  Now let $V(x)=-\left(\hbar^{2} \lambda / m\right) \delta(x)$ with $\lambda$ a positive constant. Show that the Schrödinger equation can be written

  $$\left(\frac{p^{2}}{2 m}-E\right) \tilde{\psi}(p)=\frac{\hbar \lambda}{2 \pi m} \int_{-\infty}^{\infty} d p^{\prime} \tilde{\psi}\left(p^{\prime}\right)$$

  and verify that it has a solution $\tilde{\psi}(p)=N /\left(p^{2}+\alpha^{2}\right)$ for unique choices of $\alpha$ and $E$, to be determined (you need not find the normalisation constant, $N$ ). Check that this momentum space wavefunction can also be obtained from the position space solution $\psi(x)=\sqrt{\lambda} e^{-\lambda|x|}$.

  comment

• 2.II.32D

  Principles of Quantum Mechanics

  Part II, 2007

  Let $|s m\rangle$ denote the combined spin eigenstates for a system of two particles, each with spin 1. Derive expressions for all states with $m=s$ in terms of product states.

  Given that the particles are identical, and that the spatial wavefunction describing their relative position has definite orbital angular momentum $\ell$, show that $\ell+s$ must be even. Suppose that this two-particle state is known to arise from the decay of a single particle, $X$, also of spin 1. Assuming that total angular momentum and parity are conserved in this process, find the values of $\ell$ and $s$ that are allowed, depending on whether the intrinsic parity of $X$ is even or odd.

  [You may set $\hbar=1$ and use $J_{\pm}|j m\rangle=\sqrt{(j \mp m)(j \pm m+1)}|j m \pm 1\rangle .$ ]

  comment

• 3.II.32D

  Principles of Quantum Mechanics

  Part II, 2007

  Let

  $$\hat{x}=\left(\frac{\hbar}{2 m \omega}\right)^{1 / 2}\left(a+a^{\dagger}\right), \quad \hat{p}=\left(\frac{\hbar m \omega}{2}\right)^{1 / 2} i\left(a^{\dagger}-a\right)$$

  be the position and momentum operators for a one-dimensional harmonic oscillator of mass $m$ and frequency $\omega$. Write down the commutation relations obeyed by $a$ and $a^{\dagger}$ and give an expression for the oscillator Hamiltonian $H(\hat{x}, \hat{p})$ in terms of them. Prove that the only energies allowed are $E_{n}=\hbar \omega\left(n+\frac{1}{2}\right)$ with $n=0,1,2, \ldots$ and give, without proof, a formula for a general normalised eigenstate $|n\rangle$ in terms of $|0\rangle$.

  A three-dimensional oscillator with charge is subjected to a weak electric field so that its total Hamiltonian is

  $$H_{1}+H_{2}+H_{3}+\lambda m \omega^{2}\left(\hat{x}_{1} \hat{x}_{2}+\hat{x}_{2} \hat{x}_{3}+\hat{x}_{3} \hat{x}_{1}\right)$$

  where $H_{i}=H\left(\hat{x}_{i}, \hat{p}_{i}\right)$ for $i=1,2,3$ and $\lambda$ is a small, dimensionless parameter. Express the general eigenstate for the Hamiltonian with $\lambda=0$ in terms of one-dimensional oscillator states, and give the corresponding energy eigenvalue. Use perturbation theory to compute the changes in energies of states in the lowest two levels when $\lambda \neq 0$, working to the leading order at which non-vanishing corrections occur.

  comment

• 4.II.32D

  Principles of Quantum Mechanics

  Part II, 2007

  The Hamiltonian for a particle of spin $\frac{1}{2}$ in a magnetic field $\mathbf{B}$ is

  $$H=-\frac{1}{2} \hbar \gamma \mathbf{B} \cdot \boldsymbol{\sigma} \quad \text { where } \quad \sigma_{x}=\left(\begin{array}{cc} 0 & 1 \\ 1 & 0 \end{array}\right), \quad \sigma_{y}=\left(\begin{array}{cc} 0 & -i \\ i & 0 \end{array}\right), \quad \sigma_{z}=\left(\begin{array}{cc} 1 & 0 \\ 0 & -1 \end{array}\right)$$

  and $\gamma$ is a constant (the motion of the particle in space can be ignored). Consider a magnetic field which is independent of time. Writing $\mathbf{B}=B \mathbf{n}$, where $\mathbf{n}$ is a unit vector, calculate the time evolution operator and show that if the particle is initially in a state $|\chi\rangle$ the probability of measuring it to be in an orthogonal state $\left|\chi^{\prime}\right\rangle$ after a time $t$ is

  $$\left|\left\langle\chi^{\prime}|\mathbf{n} \cdot \boldsymbol{\sigma}| \chi\right\rangle\right|^{2} \sin ^{2} \frac{\gamma B t}{2} .$$

  Evaluate this to find the probability for a transition from a state of spin up along the $z$ direction to one of spin down along the $z$ direction when $\mathbf{B}=\left(B_{x}, 0, B_{z}\right)$.

  Now consider a magnetic field whose $x$ and $y$ components are time-dependent but small:

  $$\mathbf{B}=\left(A \cos \alpha t, A \sin \alpha t, B_{z}\right) .$$

  Show that the probability for a transition from a spin-up state at time zero to a spin-down state at time $t$ (with spin measured along the $z$ direction, as before) is approximately

  $$\left(\frac{\gamma A}{\gamma B_{z}+\alpha}\right)^{2} \sin ^{2} \frac{\left(\gamma B_{z}+\alpha\right) t}{2}$$

  where you may assume $|A| \ll\left|B_{z}+\alpha \gamma^{-1}\right|$. Comment on how this compares, when $\alpha=0$, with the result for a time-independent field.

  [The first-order transition amplitude due to a perturbation $V(t)$ is

  $$-\frac{i}{\hbar} \int_{0}^{t} d t^{\prime} e^{i\left(E^{\prime}-E\right) t^{\prime} / \hbar}\left\langle\chi^{\prime}\left|V\left(t^{\prime}\right)\right| \chi\right\rangle$$

  where $|\chi\rangle$ and $\left|\chi^{\prime}\right\rangle$ are orthogonal eigenstates of the unperturbed Hamiltonian with eigenvalues $E$ and $E^{\prime}$ respectively.]

  comment

• 1.II.33A

  Applications of Quantum Mechanics

  Part II, 2007

  In a certain spherically symmetric potential, the radial wavefunction for particle scattering in the $l=0$ sector ( $S$-wave), for wavenumber $k$ and $r \gg 0$, is

  $$R(r, k)=\frac{A}{k r}\left(g(-k) e^{-i k r}-g(k) e^{i k r}\right)$$

  where

  $$g(k)=\frac{k+i \kappa}{k-i \alpha}$$

  with $\kappa$ and $\alpha$ real, positive constants. Scattering in sectors with $l \neq 0$ can be neglected. Deduce the formula for the $S$-matrix in this case and show that it satisfies the expected symmetry and reality properties. Show that the phase shift is

  $$\delta(k)=\tan ^{-1} \frac{k(\kappa+\alpha)}{k^{2}-\kappa \alpha}$$

  What is the scattering length for this potential?

  From the form of the radial wavefunction, deduce the energies of the bound states, if any, in this system. If you were given only the $S$-matrix as a function of $k$, and no other information, would you reach the same conclusion? Are there any resonances here?

  [Hint: Recall that $S(k)=e^{2 i \delta(k)}$ for real $k$, where $\delta(k)$ is the phase shift.]

  comment

• 2.II.33A

  Applications of Quantum Mechanics

  Part II, 2007

  Describe the variational method for estimating the ground state energy of a quantum system. Prove that an error of order $\epsilon$ in the wavefunction leads to an error of order $\epsilon^{2}$ in the energy.

  Explain how the variational method can be generalized to give an estimate of the energy of the first excited state of a quantum system.

  Using the variational method, estimate the energy of the first excited state of the anharmonic oscillator with Hamiltonian

  $$H=-\frac{d^{2}}{d x^{2}}+x^{2}+x^{4}$$

  How might you improve your estimate?

  [Hint: If $I_{2 n}=\int_{-\infty}^{\infty} x^{2 n} e^{-a x^{2}} d x$ then

  $$\left.I_{0}=\sqrt{\frac{\pi}{a}}, \quad I_{2}=\sqrt{\frac{\pi}{a}} \frac{1}{2 a}, \quad I_{4}=\sqrt{\frac{\pi}{a}} \frac{3}{4 a^{2}}, \quad I_{6}=\sqrt{\frac{\pi}{a}} \frac{15}{8 a^{3}}\right]$$

  comment

• 3.II.33A

  Applications of Quantum Mechanics

  Part II, 2007

  Consider the Hamiltonian

  $$H=\mathbf{B}(t) \cdot \mathbf{S}$$

  for a particle of spin $\frac{1}{2}$ fixed in space, in a rotating magnetic field, where

  $$S_{1}=\frac{\hbar}{2}\left(\begin{array}{ll} 0 & 1 \\ 1 & 0 \end{array}\right), \quad S_{2}=\frac{\hbar}{2}\left(\begin{array}{cc} 0 & -i \\ i & 0 \end{array}\right), \quad S_{3}=\frac{\hbar}{2}\left(\begin{array}{cc} 1 & 0 \\ 0 & -1 \end{array}\right)$$

  and

  $$\mathbf{B}(t)=B(\sin \alpha \cos \omega t, \sin \alpha \sin \omega t, \cos \alpha)$$

  with $B, \alpha$ and $\omega$ constant, and $B>0, \omega>0$.

  There is an exact solution of the time-dependent Schrödinger equation for this Hamiltonian,

  $$\chi(t)=\left(\cos \left(\frac{1}{2} \lambda t\right)-i \frac{B-\omega \cos \alpha}{\lambda} \sin \left(\frac{1}{2} \lambda t\right)\right) e^{-i \omega t / 2} \chi_{+}+i\left(\frac{\omega}{\lambda} \sin \alpha \sin \left(\frac{1}{2} \lambda t\right)\right) e^{i \omega t / 2} \chi_{-}$$

  where $\lambda \equiv\left(\omega^{2}-2 \omega B \cos \alpha+B^{2}\right)^{1 / 2}$ and

  $$\chi_{+}=\left(\begin{array}{c} \cos \frac{\alpha}{2} \\ e^{i \omega t} \sin \frac{\alpha}{2} \end{array}\right), \quad \chi_{-}=\left(\begin{array}{c} e^{-i \omega t} \sin \frac{\alpha}{2} \\ -\cos \frac{\alpha}{2} \end{array}\right)$$

  Show that, for $\omega \ll B$, this exact solution simplifies to a form consistent with the adiabatic approximation. Find the dynamic phase and the geometric phase in the adiabatic regime. What is the Berry phase for one complete cycle of $\mathbf{B}$ ?

  The Berry phase can be calculated as an integral of the form

  $$\Gamma=i \oint\left\langle\psi \mid \nabla_{\mathbf{R}} \psi\right\rangle \cdot d \mathbf{R}$$

  Evaluate $\Gamma$ for the adiabatic evolution described above.

  comment

• 4.II.33A

  Applications of Quantum Mechanics

  Part II, 2007

  Consider a 1-dimensional chain of $2 N$ atoms of mass $m$ (with $N$ large and with periodic boundary conditions). The interactions between neighbouring atoms are modelled by springs with alternating spring constants $K$ and $G$, with $K>G$.

  

  In equilibrium, the separation of the atoms is $a$, the natural length of the springs.

  Find the frequencies of the longitudinal modes of vibration for this system, and show that they are labelled by a wavenumber $q$ that is restricted to a Brillouin zone. Identify the acoustic and optical bands of the vibration spectrum, and determine approximations for the frequencies near the centre of the Brillouin zone. What is the frequency gap between the acoustic and optical bands at the zone boundary?

  Describe briefly the properties of the phonons in this system.

  comment

• 2.II.34D

  Statistical Physics

  Part II, 2007

  Derive the Maxwell relation

  $$\left(\frac{\partial S}{\partial p}\right)_{T}=-\left(\frac{\partial V}{\partial T}\right)_{p}$$

  The diagram below illustrates the Joule-Thomson throttling process for a porous barrier. A gas of volume $V_{1}$, initially on the left-hand side of a thermally insulated pipe, is forced by a piston to go through the barrier using constant pressure $p_{1}$. As a result the gas flows to the right-hand side, resisted by a piston which applies a constant pressure $p_{2}$ (with $p_{2}<p_{1}$ ). Eventually all of the gas occupies a volume $V_{2}$ on the right-hand side. Show that this process conserves enthalpy.

  The Joule-Thomson coefficient $\mu_{\mathrm{JT}}$ is the change in temperature with respect to a change in pressure during a process that conserves enthalpy $H$. Express the JouleThomson coefficient, $\mu_{\mathrm{JT}} \equiv\left(\frac{\partial T}{\partial p}\right)_{H}$, in terms of $T, V$, the heat capacity at constant pressure $C_{p}$, and the volume coefficient of expansion $\alpha \equiv \frac{1}{V}\left(\frac{\partial V}{\partial T}\right)_{p}$.

  What is $\mu_{\mathrm{JT}}$ for an ideal gas?

  If one wishes to use the Joule-Thomson process to cool a real (non-ideal) gas, what must the $\operatorname{sign}$ of $\mu_{\mathrm{JT}}$ be?

  

  comment

• 3.II.34D

  Statistical Physics

  Part II, 2007

  For a 2-dimensional gas of $N$ nonrelativistic, non-interacting, spinless bosons, find the density of states $g(\varepsilon)$ in the neighbourhood of energy $\varepsilon$. [Hint: consider the gas in a box of size $L \times L$ which has periodic boundary conditions. Work in the thermodynamic limit $N \rightarrow \infty, L \rightarrow \infty$, with $N / L^{2}$ held finite.]

  Calculate the number of particles per unit area at a given temperature and chemical potential.

  Explain why Bose-Einstein condensation does not occur in this gas at any temperature.

  [Recall that

  $$\left.\frac{1}{\Gamma(n)} \int_{0}^{\infty} \frac{x^{n-1} d x}{z^{-1} e^{x}-1}=\sum_{\ell=1}^{\infty} \frac{z^{\ell}}{\ell^{n}}\right]$$

  comment

• 4.II.34D

  Statistical Physics

  Part II, 2007

  Consider a classical gas of diatomic molecules whose orientation is fixed by a strong magnetic field. The molecules are not free to rotate, but they are free to vibrate. Assuming that the vibrations are approximately harmonic, calculate the contribution to the partition function due to vibrations.

  Evaluate the free energy $F=-k T \ln Z$, where $Z$ is the total partition function for the gas, and hence calculate the entropy.

  $\left[\right.$ Note that $\int_{-\infty}^{\infty} \exp \left(-a u^{2}\right) d u=\sqrt{\pi / a}$ and $\int_{0}^{\infty} u^{2} \exp \left(-a u^{2}\right) d u=\sqrt{\pi} / 4 a^{3 / 2} . \quad$ You may approximate $\ln N$ ! by $N \ln N-N$.]

  comment

• 1.II.34E

  Electrodynamics

  Part II, 2007

  Frame $\mathcal{S}^{\prime}$ is moving with uniform speed $v$ in the $z$-direction relative to a laboratory frame $\mathcal{S}$. Using Cartesian coordinates and units such that $c=1$, the relevant Lorentz transformation is

  $$t^{\prime}=\gamma(t-v z), \quad x^{\prime}=x, \quad y^{\prime}=y, \quad z^{\prime}=\gamma(z-v t)$$

  where $\gamma=1 / \sqrt{1-v^{2}}$. A straight thin wire of infinite extent lies along the $z$-axis and carries charge and current line densities $\sigma$ and $J$ per unit length, as measured in $\mathcal{S}$. Stating carefully your assumptions show that the corresponding quantities in $\mathcal{S}^{\prime}$ are given by

  $$\sigma^{\prime}=\gamma(\sigma-v J), \quad J^{\prime}=\gamma(J-v \sigma)$$

  Using cylindrical polar coordinates, and the integral forms of the Maxwell equations $\nabla \cdot \mathbf{E}=\mu_{0} \rho$ and $\nabla \times \mathbf{B}=\mu_{0} \mathbf{j}$, derive the electric and magnetic fields outside the wire in both frames.

  In a standard notation the Lorentz transformation for the electric and magnetic fields is

  $$\mathbf{E}_{\|}^{\prime}=\mathbf{E}_{\|}, \quad \mathbf{B}_{\|}^{\prime}=\mathbf{B}_{\|}, \quad \quad \mathbf{E}_{\perp}^{\prime}=\gamma\left(\mathbf{E}_{\perp}+\mathbf{v} \times \mathbf{B}_{\perp}\right), \quad \mathbf{B}_{\perp}^{\prime}=\gamma\left(\mathbf{B}_{\perp}-\mathbf{v} \times \mathbf{E}_{\perp}\right)$$

  Is your result consistent with this?

  comment

• 3.II $. 35 \mathrm{E} \quad$

  Electrodynamics

  Part II, 2007

  Consider a particle of charge $q$ moving with 3 -velocity $\mathbf{v}$. If the particle is moving slowly then Larmor's formula asserts that the instantaneous radiated power is

  $$\mathcal{P}=\frac{\mu_{0}}{6 \pi} q^{2}\left|\frac{d \mathbf{v}}{d t}\right|^{2}$$

  Suppose, however, that the particle is moving relativistically. Give reasons why one should conclude that $\mathcal{P}$ is a Lorentz invariant. Writing the 4-velocity as $U^{a}=(\gamma, \gamma \mathbf{v})$ where $\gamma=1 / \sqrt{1-|\mathbf{v}|^{2}}$ and $c=1$, show that

  $$\dot{U}^{a}=\left(\gamma^{3} \alpha, \gamma^{3} \alpha \mathbf{v}+\gamma \dot{\mathbf{v}}\right)$$

  where $\alpha=\mathbf{v} \cdot \dot{\mathbf{v}}$ and $\dot{f}=d f / d s$ where $s$ is the particle's proper time. Show also that

  $$\dot{U}^{a} \dot{U}_{a}=-\gamma^{4} \alpha^{2}-\gamma^{2}|\dot{\mathbf{v}}|^{2} .$$

  Deduce the relativistic version of Larmor's formula.

  Suppose the particle moves in a circular orbit perpendicular to a uniform magnetic field $\mathbf{B}$. Show that

  $$\mathcal{P}=\frac{\mu_{0}}{6 \pi} \frac{q^{4}}{m^{2}}\left(\gamma^{2}-1\right)|\mathbf{B}|^{2}$$

  where $m$ is the mass of the particle, and comment briefly on the slow motion limit.

  comment

• 4.II.35E

  Electrodynamics

  Part II, 2007

  An action

  $$S[\varphi]=\int d^{4} x L(\varphi, \varphi, a)$$

  is given, where $\varphi(x)$ is a scalar field. Explain heuristically how to compute the functional derivative $\delta S / \delta \varphi$.

  Consider the action for electromagnetism,

  $$S\left[A_{a}\right]=-\int d^{4} x\left\{\frac{1}{4 \mu_{0}} F^{a b} F_{a b}+J^{a} A_{a}\right\} .$$

  Here $J^{a}$ is the 4-current density, $A_{a}$ is the 4-potential and $F_{a b}=A_{b, a}-A_{a, b}$ is the Maxwell field tensor. Obtain Maxwell's equations in 4-vector form.

  Another action that is sometimes suggested is

  $$\widehat{S}\left[A_{a}\right]=-\int d^{4} x\left\{\frac{1}{2 \mu_{0}} A^{a, b} A_{a, b}+J^{a} A_{a}\right\} .$$

  Under which additional assumption can Maxwell's equations be obtained using this action?

  Using this additional assumption establish the relationship between the actions $S$ and $\widehat{S}$.

  comment

• 1.II.35A

  General Relativity

  Part II, 2007

  Starting from the Riemann tensor for a metric $g_{a b}$, define the Ricci tensor $R_{a b}$ and the scalar curvature $R$.

  The Riemann tensor obeys

  $$\nabla_{e} R_{a b c d}+\nabla_{c} R_{a b d e}+\nabla_{d} R_{a b e c}=0$$

  Deduce that

  $$\nabla^{a} R_{a b}=\frac{1}{2} \nabla_{b} R$$

  Write down Einstein's field equations in the presence of a matter source, with energymomentum tensor $T_{a b}$. How is the relation $(*)$ important for the consistency of Einstein's equations?

  Show that, for a scalar function $\phi$, one has

  $$\nabla^{2} \nabla_{a} \phi=\nabla_{a} \nabla^{2} \phi+R_{a b} \nabla^{b} \phi .$$

  Assume that

  $$R_{a b}=\nabla_{a} \nabla_{b} \phi$$

  for a scalar field $\phi$. Show that the quantity

  $$R+\nabla^{a} \phi \nabla_{a} \phi$$

  is then a constant.

  comment

• 2.II.35A

  General Relativity

  Part II, 2007

  The symbol $\nabla_{a}$ denotes the covariant derivative defined by the Christoffel connection $\Gamma_{b c}^{a}$ for a metric $g_{a b}$. Explain briefly why

  $$\begin{gathered} \left(\nabla_{a} \nabla_{b}-\nabla_{b} \nabla_{a}\right) \phi=0 \\ \left(\nabla_{a} \nabla_{b}-\nabla_{b} \nabla_{a}\right) v_{c} \neq 0 \end{gathered}$$

  in general, where $\phi$ is a scalar field and $v_{c}$ is a covariant vector field.

  A Killing vector field $v_{a}$ satisfies the equation

  $$S_{a b} \equiv \nabla_{a} v_{b}+\nabla_{b} v_{a}=0$$

  By considering the quantity $\nabla_{a} S_{b c}+\nabla_{b} S_{a c}-\nabla_{c} S_{a b}$, show that

  $$\nabla_{a} \nabla_{b} v_{c}=-R_{a b c}^{d} v_{d}$$

  Find all Killing vector fields $v_{a}$ in the case of flat Minkowski space-time.

  For a metric of the form

  $$\mathrm{d} s^{2}=-f(\mathbf{x}) \mathrm{d} t^{2}+g_{i j}(\mathbf{x}) \mathrm{d} x^{i} \mathrm{~d} x^{j}, \quad i, j=1,2,3$$

  where $\mathbf{x}$ denotes the coordinates $x^{i}$, show that $\Gamma_{00}^{0}=\Gamma_{i j}^{0}=0$ and that $\Gamma_{0 i}^{0}=\Gamma_{i 0}^{0}=$ $\frac{1}{2}\left(\partial_{i} f\right) / f$. Deduce that the vector field $v^{a}=(1,0,0,0)$ is a Killing vector field.

  [You may assume the standard symmetries of the Riemann tensor.]

  comment

• 4.II.36A

  General Relativity

  Part II, 2007

  Consider a particle on a trajectory $x^{a}(\lambda)$. Show that the geodesic equations, with affine parameter $\lambda$, coincide with the variational equations obtained by varying the integral

  $$I=\int_{\lambda_{0}}^{\lambda_{1}} g_{a b}(x) \frac{\mathrm{d} x^{a}}{\mathrm{~d} \lambda} \frac{\mathrm{d} x^{b}}{\mathrm{~d} \lambda} \mathrm{d} \lambda$$

  the end-points being fixed.

  In the case that $f(r)=1-2 G M u$, show that the space-time metric is given in the form

  $$\mathrm{d} s^{2}=-f(r) \mathrm{d} t^{2}+\frac{1}{f(r)} \mathrm{d} r^{2}+r^{2}\left(\mathrm{~d} \theta^{2}+\sin ^{2} \theta \mathrm{d} \phi^{2}\right)$$

  for a certain function $f(r)$. Assuming the particle motion takes place in the plane $\theta=\frac{\pi}{2}$ show that

  $$\frac{\mathrm{d} \phi}{\mathrm{d} \lambda}=\frac{h}{r^{2}}, \quad \frac{\mathrm{d} t}{\mathrm{~d} \lambda}=\frac{E}{f(r)},$$

  for $h, E$ constants. Writing $u=1 / r$, obtain the equation

  $$\left(\frac{\mathrm{d} u}{\mathrm{~d} \phi}\right)^{2}+f(r) u^{2}=-\frac{k}{h^{2}} f(r)+\frac{E^{2}}{h^{2}}$$

  where $k$ can be chosen to be 1 or 0 , according to whether the particle is massive or massless. In the case that $f(r)=1-G M u$, show that

  $$\frac{\mathrm{d}^{2} u}{\mathrm{~d} \phi^{2}}+u=k \frac{G M}{h^{2}}+3 G M u^{2}$$

  In the massive case, show that there is an approximate solution of the form

  $$u=\frac{1}{\ell}(1+e \cos (\alpha \phi)),$$

  where

  $$1-\alpha=\frac{3 G M}{\ell} .$$

  What is the interpretation of this solution?

  comment

• 1.II.36B

  Fluid Dynamics II

  Part II, 2007

  Discuss how the methods of lubrication theory may be used to find viscous fluid flows in thin layers or narrow gaps, explaining carefully what inequalities need to hold in order that the theory may apply.

  Viscous fluid of kinematic viscosity $\nu$ flows under the influence of gravity $g$, down an inclined plane making an angle $\alpha \ll 1$ with the horizontal. The fluid layer lies between $y=0$ and $y=h(x, t)$, where $x, y$ are distances measured down the plane and perpendicular to it, and $|\partial h / \partial x|$ is of the same order as $\alpha$. Give conditions involving $h, \alpha, \nu$ and $g$ that ensure that lubrication theory can be used, and solve the lubrication equations, together with the equation of mass conservation, to obtain an equation for $h$ in the form

  $$\frac{\partial h}{\partial t}=\frac{\partial}{\partial x}\left(-A h^{3}+B h^{3} \frac{\partial h}{\partial x}\right)$$

  where $A, B$ are constants to be determined. Show that there is a steady solution with $\partial h / \partial x=k=$ constant, and interpret this physically. Show also that a solution of this equation exists in the form of a front, with $h(x, t)=F(\xi)$, where $\xi=x-c t, F(0)=0$, and $F(\xi) \rightarrow h_{0}$ as $\xi \rightarrow-\infty$. Determine $c$ in terms of $h_{0}$, find the shape of the front implicitly in the form $\xi=G(h)$, and show that $h \propto(-\xi)^{1 / 3}$ as $\xi \rightarrow 0$ from below.

  comment

• 2.II.36B

  Fluid Dynamics II

  Part II, 2007

  Viscous fluid is extracted through a small hole in the tip of the cone given by $\theta=\alpha$ in spherical polar coordinates $(R, \theta, \phi)$. The total volume flux through the hole takes the constant value $Q$. It is given that there is a steady solution of the Navier-Stokes equations for the fluid velocity $\mathbf{u}$. For small enough $R$, the velocity $\mathbf{u}$ is well approximated by $\mathbf{u} \sim\left(-A / R^{2}, 0,0\right)$, where $A=Q /[2 \pi(1-\cos \alpha)]$ except in thin boundary layers near $\theta=\alpha$.

  (i) Verify that the volume flux through the hole is approximately $Q$.

  (ii) Construct a Reynolds number (depending on $R$ ) in terms of $Q$ and the kinematic viscosity $\nu$, and thus give an estimate of the value of $R$ below which solutions of this type will appear.

  (iii) Assuming that there is a boundary layer near $\theta=\alpha$, write down the boundary layer equations in the usual form, using local Cartesian coordinates $x$ and $y$ parallel and perpendicular to the boundary. Show that the boundary layer thickness $\delta(x)$ is proportional to $x^{\frac{3}{2}}$, and show that the $x$ component of the velocity $u_{x}$ may be written in the form

  $$u_{x}=-\frac{A}{x^{2}} F^{\prime}(\eta), \quad \text { where } \quad \eta=\frac{y}{\delta(x)}$$

  Derive the equation and boundary conditions satisfied by $F$. Give an expression, in terms of $F$, for the volume flux through the boundary layer, and use this to derive the $R$ dependence of the first correction to the flow outside the boundary layer.

  comment

• 3.II $. 36$ B

  Fluid Dynamics II

  Part II, 2007

  

  Viscous fluid of kinematic viscosity $\nu$ and density $\rho$ flows in a curved pipe of constant rectangular cross section and constant curvature. The cross-section has height $2 a$ and width $2 b$ (in the radial direction) with $b \gg a$, and the radius of curvature of the inner wall is $R$, with $R \gg b$. A uniform pressure gradient $-G$ is applied along the pipe.

  (i) Assume to a first approximation that the pipe is straight, and ignore variation in the $x$-direction, where $(x, y, z)$ are Cartesian coordinates referred to an origin at the centre of the section, with $x$ increasing radially and $z$ measured along the pipe. Find the flow field along the pipe in the form $\mathbf{u}=(0,0, w(y))$.

  (ii) It is given that the largest component of the inertial acceleration $\mathbf{u} \cdot \nabla \mathbf{u}$ due to the curvature of the pipe is $-w^{2} / R$ in the $x$ direction. Consider the secondary flow $\mathbf{u}_{s}$ induced in the $x, y$ plane, again ignoring variations in $x$ and any end effects (except for the requirement that there be zero total mass flux in the $x$ direction). Show that $\mathbf{u}_{s}$ takes the form $\mathbf{u}_{s}=(u(y), 0,0)$, where

  $$u(y)=\frac{G^{2}}{120 \rho^{2} \nu^{3} R}\left(5 a^{2} y^{4}-y^{6}\right)+\frac{C}{2} y^{2}+D$$

  and write down two equations determining the constants $C$ and $D$. [It is not necessary to solve these equations.]

  Give conditions on the parameters that ensure that $|u| \ll|w|$.

  comment

• 4.II.37B

  Fluid Dynamics II

  Part II, 2007

  (i) Assuming that axisymmetric incompressible flow $\mathbf{u}=\left(u_{R}, u_{\theta}, 0\right)$, with vorticity $(0,0, \omega)$ in spherical polar coordinates $(R, \theta, \phi)$ satisfies the equations

  $$\mathbf{u}=\nabla \times\left(0,0, \frac{\Psi}{R \sin \theta}\right), \quad \omega=-\frac{1}{R \sin \theta} D^{2} \Psi$$

  where

  $$D^{2} \equiv \frac{\partial^{2}}{\partial R^{2}}+\frac{\sin \theta}{R^{2}} \frac{\partial}{\partial \theta}\left(\frac{1}{\sin \theta} \frac{\partial}{\partial \theta}\right)$$

  show that for Stokes flow $\Psi$ satisfies the equation

  $$D^{4} \Psi=0$$

  (ii) A rigid sphere of radius $a$ moves at velocity $U \hat{\mathbf{z}}$ through viscous fluid of density $\rho$ and dynamic viscosity $\mu$ which is at rest at infinity. Assuming Stokes flow and by applying the boundary conditions at $R=a$ and as $R \rightarrow \infty$, verify that $\Psi=(A R+B / R) \sin ^{2} \theta$ is the appropriate solution to $(*)$ for this flow, where $A$ and $B$ are to be determined.

  (iii) Hence find the velocity field outside the sphere. Without direct calculation, explain why the drag is in the $z$ direction and has magnitude proportional to $U$.

  (iv) A second identical sphere is introduced into the flow, at a distance $b \gg a$ from the first, and moving at the same velocity. Justify the assertion that, when the two spheres are at the same height, or when one is vertically above the other, the drag on each sphere is the same. Calculate the leading correction to the drag in each case, to leading order in $a / b$.

  [You may quote without proof the fact that, for an axisymmetric function $F(R, \theta)$,

  $$\nabla \times(0,0, F)=\left(\frac{1}{R \sin \theta} \frac{\partial}{\partial \theta}(\sin \theta F),-\frac{1}{R} \frac{\partial}{\partial R}(R F), 0\right)$$

  in spherical polar coordinates $(R, \theta, \phi)$.]

  comment

• 1.II.37C

  Waves

  Part II, 2007

  A uniform elastic solid with density $\rho$ and Lamé moduli $\lambda$ and $\mu$ occupies the region between rigid plane boundaries $y=0$ and $y=h$. Show that SH waves can propagate in the $x$ direction within this layer, and find the dispersion relation for such waves.

  Deduce for each mode (a) the cutoff frequency, (b) the phase velocity, and (c) the group velocity.

  Show also that for each mode the kinetic energy and elastic energy are equal in an average sense to be made precise.

  [You may assume that the elastic energy per unit volume $W=\frac{1}{2}\left(\lambda e_{k k}^{2}+2 \mu e_{i j} e_{i j}\right)$.]

  comment

• 2.II.37C

  Waves

  Part II, 2007

  Show that for a one-dimensional flow of a perfect gas at constant entropy the Riemann invariants $u \pm 2\left(c-c_{0}\right) /(\gamma-1)$ are constant along characteristics $d x / d t=u \pm c$.

  Define a simple wave. Show that in a right-propagating simple wave

  $$\frac{\partial u}{\partial t}+\left(c_{0}+\frac{\gamma+1}{2} u\right) \frac{\partial u}{\partial x}=0$$

  Now suppose instead that, owing to dissipative effects,

  $$\frac{\partial u}{\partial t}+\left(c_{0}+\frac{\gamma+1}{2} u\right) \frac{\partial u}{\partial x}=-\alpha u$$

  where $\alpha$ is a positive constant. Suppose also that $u$ is prescribed at $t=0$ for all $x$, say $u(x, 0)=v(x)$. Demonstrate that, unless a shock forms,

  $$u(x, t)=v\left(x_{0}\right) e^{-\alpha t}$$

  where, for each $x$ and $t, x_{0}$ is determined implicitly as the solution of the equation

  $$x-c_{0} t=x_{0}+\frac{\gamma+1}{2}\left(\frac{1-e^{-\alpha t}}{\alpha}\right) v\left(x_{0}\right)$$

  Deduce that a shock will not form at any $(x, t)$ if

  $$\alpha>\frac{\gamma+1}{2} \max _{v^{\prime}<0}\left|v^{\prime}\left(x_{0}\right)\right|$$

  comment

• 3.II.37C

  Waves

  Part II, 2007

  Waves propagating in a slowly-varying medium satisfy the local dispersion relation

  $$\omega=\Omega(\mathbf{k}, \mathbf{x}, t)$$

  in the standard notation. Give a brief derivation of the ray-tracing equations for such waves; a formal justification is not required.

  An ocean occupies the region $x>0, \quad-\infty<y<\infty$. Water waves are incident on a beach near $x=0$. The undisturbed water depth is

  $$h(x)=\alpha x^{p}$$

  with $\alpha$ a small positive constant and $p$ positive. The local dispersion relation is

  $$\Omega^{2}=g \kappa \tanh (\kappa h) \quad \text { where } \quad \kappa^{2}=k_{1}^{2}+k_{2}^{2}$$

  and where $k_{1}, k_{2}$ are the wavenumber components in the $x, y$ directions. Far from the beach, the waves are planar with frequency $\omega_{\infty}$ and crests making an acute angle $\theta_{\infty}$ with the shoreline $x=0$. Obtain a differential equation (in implicit form) for a ray $y=y(x)$, and show that near the shore the ray satisfies

  $$y-y_{0} \sim A x^{q}$$

  where $A$ and $q$ should be found. Sketch the appearance of the wavecrests near the shoreline.

  comment

• 4.II $. 38 \mathrm{C} \quad$

  Waves

  Part II, 2007

  Show that, for a plane acoustic wave, the acoustic intensity $\tilde{p} \mathbf{u}$ may be written as $\rho_{0} c_{0}|\mathbf{u}|^{2} \hat{\mathbf{k}}$ in the standard notation.

  Derive the general spherically-symmetric solution of the wave equation. Use it to find the velocity potential $\phi(r, t)$ for waves radiated into an unbounded fluid by a pulsating sphere of radius

  $$a\left(1+\varepsilon e^{i \omega t}\right) \quad(\varepsilon \ll 1)$$

  By considering the far field, or otherwise, find the time-average rate at which energy is radiated by the sphere.

  $\left[\right.$ You may assume that $\nabla^{2} \phi=\frac{1}{r^{2}} \frac{\partial}{\partial r}\left(r^{2} \frac{\partial \phi}{\partial r}\right)$.]

  comment

• 1.II.38C

  Numerical Analysis

  Part II, 2007

  (a) For a numerical method to solve $y^{\prime}=f(t, y)$, define the linear stability domain and state when such a method is A-stable.

  (b) Determine all values of the real parameter $a$ for which the Runge-Kutta method

  $$\begin{aligned} k_{1} &=f\left(t_{n}+\left(\frac{1}{2}-a\right) h, y_{n}+h\left[\frac{1}{4} k_{1}+\left(\frac{1}{4}-a\right) k_{2}\right]\right) \\ k_{2} &=f\left(t_{n}+\left(\frac{1}{2}+a\right) h, y_{n}+h\left[\left(\frac{1}{4}+a\right) k_{1}+\frac{1}{4} k_{2}\right]\right) \\ y_{n+1} &=y_{n}+\frac{1}{2} h\left(k_{1}+k_{2}\right) \end{aligned}$$

  is A-stable.

  comment

• 2.II.38C

  Numerical Analysis

  Part II, 2007

  (a) State the Householder-John theorem and explain how it can be used to design iterative methods for solving a system of linear equations $A x=b$.

  (b) Let $A=L+D+U$ where $D$ is the diagonal part of $A$, and $L$ and $U$ are, respectively, the strictly lower and strictly upper triangular parts of $A$. Given a vector $b$, consider the following iterative scheme:

  $$(D+\omega L) x^{(k+1)}=(1-\omega) D x^{(k)}-\omega U x^{(k)}+\omega b$$

  Prove that if $A$ is a symmetric positive definite matrix, and $\omega \in(0,2)$, then the above iteration converges to the solution of the system $A x=b$.

  comment

• 3.II.38C

  Numerical Analysis

  Part II, 2007

  (a) Prove that all Toeplitz symmetric tridiagonal $M \times M$ matrices

  $$A=\left[\begin{array}{ccccc} a & b & 0 & \cdots & 0 \\ b & a & b & \ddots & \vdots \\ 0 & \ddots & \ddots & \ddots & 0 \\ \vdots & \ddots & b & a & b \\ 0 & \cdots & 0 & b & a \end{array}\right]$$

  share the same eigenvectors $\left(v^{(k)}\right)_{k=1}^{M}$ with components $v_{i}^{(k)}=\sin \frac{k i \pi}{M+1}$, $i=1, \ldots, M$, and eigenvalues to be determined.

  (b) The diffusion equation

  $$\frac{\partial u}{\partial t}=\frac{\partial^{2} u}{\partial x^{2}}, \quad 0 \leqslant x \leqslant 1, \quad 0 \leqslant t \leqslant T$$

  is approximated by the Crank-Nicolson scheme

  $$\begin{aligned} u_{m}^{n+1}-\frac{1}{2} \mu\left(u_{m-1}^{n+1}-2 u_{m}^{n+1}+u_{m+1}^{n+1}\right) &=u_{m}^{n}+\frac{1}{2} \mu\left(u_{m-1}^{n}-2 u_{m}^{n}+u_{m+1}^{n}\right), \\ \text { for } \quad m &=1, \ldots, M, \end{aligned}$$

  where $\mu=\Delta t /(\Delta x)^{2}, \quad \Delta x=1 /(M+1)$, and $u_{m}^{n}$ is an approximation to $u(m \Delta x, n \Delta t)$. Assuming that $u(0, t)=u(1, t)=0, \forall t, \quad$ show that the above scheme can be written in the form

  $$B u^{n+1}=C u^{n}, \quad 0 \leqslant n \leqslant(T / \Delta t)-1$$

  where $u^{n}=\left[u_{1}^{n}, \ldots, u_{M}^{n}\right]^{\top}$ and the real matrices $B$ and $C$ should be found. Using matrix analysis, find the range of $\mu$ for which the scheme is stable. [Do not use Fourier analysis.]

  comment

• 4.II.39C

  Numerical Analysis

  Part II, 2007

  (a) Suppose that $A$ is a real $n \times n$ matrix, and that $w \in \mathbb{R}^{n}$ and $\lambda_{1} \in \mathbb{R}$ are given so that $A w=\lambda_{1} w$. Further, let $S$ be a non-singular matrix such that $S w=c e^{(1)}$, where $e^{(1)}$ is the first coordinate vector and $c \neq 0$. Let $\widehat{A}=S A S^{-1}$. Prove that the eigenvalues of $A$ are $\lambda_{1}$ together with the eigenvalues of the bottom right $(n-1) \times(n-1)$ submatrix of $\widehat{A} .$

  (b) Suppose again that $A$ is a real $n \times n$ matrix, and that two linearly independent vectors $v, w \in \mathbb{R}^{n}$ are given such that the linear subspace $L\{v, w\}$ spanned by $v$ and $w$ is invariant under the action of $A$, i.e.,

  $$x \in L\{v, w\} \quad \Rightarrow \quad A x \in L\{v, w\}$$

  Denote by $V$ an $n \times 2$ matrix whose two columns are the vectors $v$ and $w$, and let $S$ be a non-singular matrix such that $R=S V$ is upper triangular, that is,

  $$R=S V=S \times\left[\begin{array}{cc} v_{1} & w_{1} \\ v_{2} & w_{2} \\ v_{3} & w_{3} \\ : & : \\ v_{n} & w_{n} \end{array}\right]=\left[\begin{array}{cc} r_{11} & r_{12} \\ 0 & r_{22} \\ 0 & 0 \\ : & : \\ 0 & 0 \end{array}\right]$$

  Again let $\widehat{A}=S A S^{-1}$. Prove that the eigenvalues of $A$ are the eigenvalues of the top left $2 \times 2$ submatrix of $\widehat{A}$ together with the eigenvalues of the bottom right $(n-2) \times(n-2)$ submatrix of $\widehat{A}$

  comment